|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 17 keywords
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Dilara Gizem Pektas, Mehmet Umut Pisken |
DO-178C Uyumlu Yazilim Gelistirme Projelerinde Assembly Kodlama Icin Yapisal Kapsama Analizi (Structural Coverage Analysis for Assembly Coding in DO-178C Compliant Software Development Projects). ![Search on Bibsonomy](Pics/bibsonomy.png) |
UYMS ![In: Proceedings of the 11th Turkish National Software Engineering Symposium, Alanya, Turkey, October 18-20, 2017., pp. 454-465, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
36 | Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy |
Use of PERC Pico in the AIDA avionics platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009, pp. 169-178, 2009, ACM, 978-1-60558-732-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ |
29 | J. Eduardo Ferreira Ribeiro, João Gabriel Silva, Ademar Aguiar |
Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.04344, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Purav Panchal, Nina Sorokina, Manuel Kuder, Stephan Myschik, Konstantin Dmitriev, Florian Holzapfel |
Application of a Process-Oriented Build Tool for Verification and Validation of a Battery Slave Controller for a Battery Modular Multilevel Management System Along the DO-178C/DO-331 Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023., pp. 184-193, 2023, SCITEPRESS, 978-989-758-633-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Lijun Shan |
Towards DO-178C Compliance of a Secure Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings, pp. 61-72, 2023, Springer, 978-3-031-40952-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | V. P. Kozyrev |
Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 48(4), pp. 256-264, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Jinghua Sun 0005, Lei Chen, Fuzhi Cang, Haiwei Li, Fujian Pi |
Civil Aircraft Airborne Software Safety and Reliability Study Based on RTCA/DO-178C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE ![In: 5th International Conference on Computer Science and Software Engineering, CSSE 2022, Guilin, China, October 21-23, 2022, pp. 27-33, 2022, ACM, 978-1-4503-9778-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Lei Chen, Jinghua Sun 0005, She Jia |
Study on the Application of RTCA/DO-178C in IMA Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISS ![In: Proceedings of the 4th International Conference on Advanced Information Science and System, AISS 2022, Sanya, China, November 25-27, 2022, pp. 6:1-6:6, 2022, ACM, 978-1-4503-9793-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Konstantin Dmitriev, Shanza Ali Zafar, Kevin Schmiechen, Yi Lai, Micheal Saleab, Pranav Nagarajan, Daniel Dollinger, Markus Hochstrasser, Stephan Myschik, Florian Holzapfel |
A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.06505, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | John Pyrgies |
Towards DO-178C certification of adaptive learning UAV agents designed with a cognitive architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020, pp. 174-177, 2020, ACM, 978-1-4503-7122-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas Metayer, Andrés Paz, Ghizlane El-Boussaidi |
Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, pp. 338-345, 2019, IEEE, 978-1-7281-5138-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | V. P. Kozyrev, M. A. Saburov |
Satisfying DO-178C Structural Coverage Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 44(1), pp. 43-50, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Yunjiao Zhan, Ou Wei, Jun Hu |
面向DO-178C的襟缝翼控制系统需求的形式化描述 (Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 45(4), pp. 196-202, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Markus Hochstrasser, Stephan Myschik, Florian Holzapfel |
Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, pp. 380-405, 2018, Springer, 978-3-030-11029-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | José Andrés Jiménez, José-Amelio Medina-Merodio, Luis Fernández Sanz |
Checklists for compliance to DO-178C and DO-278A standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 52, pp. 41-50, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Andrés Paz, Ghizlane El-Boussaidi |
On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016, pp. 229-236, 2016, IEEE Computer Society, 978-1-5090-3601-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Frank Dordowsky |
An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 28-41, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Alan Ferreiros, Luiz Alberto Vieira Dias |
Evaluation of Accomplishment of DO-178C Objectives by CMMI-DEV 1.3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: 12th International Conference on Information Technology - New Generations, ITNG 2015, Las Vegas, NV, USA, April 13-15, 2015, pp. 759-760, 2015, IEEE Computer Society, 978-1-4799-8828-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Vance Hilderman |
Understanding DO-178C Software Certification: Benefits Versus Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014, pp. 114, 2014, IEEE Computer Society, 978-1-4799-7377-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | André Sarkis, Luiz Alberto Vieira Dias |
A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: 11th International Conference on Information Technology: New Generations, ITNG 2014, Las Vegas, NV, USA, April 7-9, 2014, pp. 27-32, 2014, IEEE Computer Society, 978-1-4799-3187-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate |
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 30(3), pp. 50-57, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Gabriella Gigante, Domenico Pascarella |
Formal Methods in Avionic Software Certification: The DO-178C Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp. 205-215, 2012, Springer, 978-3-642-34031-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Stephen A. Jacklin |
Certification of Safety-Critical Software Under DO-178C and DO-278A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infotech@Aerospace ![In: Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012, 2012, 978-1-60086-939-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Benjamin M. Brosgol |
Do-178c: the next avionics safety standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011, pp. 5-6, 2011, ACM, 978-1-4503-1028-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Dewi Daniels |
Are we there yet? A Practitioner's View of DO-178C/ED-12C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 293-313, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Dewi Daniels |
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings, pp. 211-213, 2011, Springer, 978-3-642-21337-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Roderick Chapman, Trevor Jennings |
OOT, DO-178C and SPARK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings, pp. 206-210, 2011, Springer, 978-3-642-21337-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | James V. Chelini |
Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009, pp. 103-104, 2009, ACM, 978-1-60558-475-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | James J. Hunt |
Realtime Java technology in avionics systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 138-147, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
realtime Java technology, standards, avionics |
26 | Benjamin M. Brosgol |
MP1: languages for safety-critical software: issues and assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 7-8, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity |
26 | Benjamin M. Brosgol |
SA2: languages for safety-critical software: issues and assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 2, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano |
Airborne Software Concerns in Civil Aviation Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings, pp. 52-60, 2005, Springer, 3-540-29572-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|