2,418 Hits in 3.1 sec

Tool Support for Engineering Certifiable Software

László Gönczy, István Majzik, Akos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
2009 Electronical Notes in Theoretical Computer Science  
An overview of four European projects demonstrates the use of support tools and tool integration facilities in development processes of systems having in sight the demand of certification according to  ...  to test and implementation related software artefacts.  ...  In this paper we give an overview of four projects and demonstrate their results that are related to the engineering of certifiable software: • In the DECOS (Dependable Embedded Components and Systems)  ... 
doi:10.1016/j.entcs.2009.09.008 fatcat:4hn2dgsz6vefzkx4xtjuypo5ou

A Real-Time Simulation Environment For Avionics Software Development And Qualification

U. Tancredi, D. Accardo, M. Grassi, G. Fasano, A. E. Tirri, A. Vitale, N. Genito, F. Montemari, L. Garbarino
2018 Zenodo  
The development of guidance, navigation and control algorithms and avionic procedures requires the disposability of suitable analysis and verification tools, such as simulation environments, which support  ...  All the software modules are able to simulate the modeled systems both in fast-time and real-time tests, and were implemented following component oriented modeling techniques and requirement based approach  ...  World Academy of Science, Engineering and Technology International Journal of Industrial and Manufacturing Engineering B.  ... 
doi:10.5281/zenodo.1315619 fatcat:g7mibqtktjhcjapidbgyy3cnla

Requirements Evolution From Process to Product Oriented Management [chapter]

Stuart Anderson, Massimo Felici
2001 Lecture Notes in Computer Science  
Current practice in Requirement Engineering relies on process-oriented methodologies, which lack of product features.  ...  This work represents a shift from process to product-oriented management of Requirements Evolution.  ...  The DIRC project has been funded by the UK EPSRC (Engineering and Physical Sciences Research Council).  ... 
doi:10.1007/3-540-44813-6_6 fatcat:yuzzatojezdxfm5rqaqn4xlm2a

Modeling RTCA DO-178C Specification to Facilitate Avionic Software System Design, Verification, and Validation

Emanuel S. Grant, Tanaya Datta
2016 International Journal of Future Computer and Communication  
Avionic systems are safety-critical systems because system failure can be catastrophic resulting in loss of life and/or resources.  ...  Several UML diagrams are created in order to represent DO-178C in a format that is easier related to model-driven software development.  ...  In a research project to develop a model-driven object-oriented software development methodology, for avionic systems it was determined that the textual format of DO-178C was a hindrance to the research  ... 
doi:10.18178/ijfcc.2016.5.2.457 fatcat:igkyet6kvjfgrlntcqkne5jibi

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework [chapter]

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby
2005 Lecture Notes in Computer Science  
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains.  ...  We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than  ...  Problem Domain Extensions: A main objective of Bogor was to bring sophisticated state-space analyses to a range of systems and software engineering domains.  ... 
doi:10.1007/11513988_15 fatcat:dpc6ndur3nfbnf7iqa7upl24he

VERTAF: an application framework for the design and verification of embedded real-time software

Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jin-Ming Fu, Win-Bin See
2004 IEEE Transactions on Software Engineering  
2006-05-30 Software Engineering Lab, KAIST 5/21 Previous work Previous work Design of real-time systems -Object-oriented (OO) technology Some design patterns related Code automatically  ...  flow in VERTAF Design and verification flow in VERTAF Control flow UML modeling phase Embedded real- time software phase Formal verification phase Front end Front end: machine-independent  ... 
doi:10.1109/tse.2004.68 fatcat:nmeddcxwrvcixllveopvfohfqu

An Assessment of Avionics Software Development Practice: Justifications for an Agile Development Process [chapter]

Geir K. Hanssen, Gosse Wedzinga, Martijn Stuip
2017 Lecture Notes in Business Information Processing  
An error in the software of a safety-critical avionic system could lead to a catastrophic event, such as multiple deaths and loss of the aircraft.  ...  This raises the question whether avionics software development could benefit from the application of agile approaches.  ...  The research leading to these results has received funding An Assessment of Avionics Software Development Practice  ... 
doi:10.1007/978-3-319-57633-6_14 fatcat:wvcjz7w4nnekxh6olt53efbt3y

Software Safety Standards: Evolution and Lessons Learned

Shou-Yu Lee, W. Eric Wong, Ruizhi Gao
2014 2014 International Conference on Trustworthy Systems and their Applications  
As safety issues occur in many domains, software safety standards provide guidelines for development of software systems that operate in safety-critical environments.  ...  (Commercial avionics), MIL-STD-882 (US Department of Defense), and DEF-STAN 00-56 (UK Ministry of Defense).  ...  ACKNOWLEDGMENT This paper is based on the work by the students who participated in the REU (Research for Undergraduate Students) program at the University of Texas at Dallas from 2009 to 2013.  ... 
doi:10.1109/tsa.2014.16 dblp:conf/tsa/LeeWG14 fatcat:dfkvig7wivgc5ay4cq72sxdu74

Towards defining software development processes in DO-178B with openup

Christophe Bertrand, Christopher P. Fuhrman
2008 Canadian Conference on Electrical and Computer Engineering (CCECE)  
The documentation and planning of high-integrity software is therefore a software engineering problem.  ...  Civil avionics software must be certified according to standards mandated by governmental agencies, such as the Federal Aviations Administration in the United States.  ...  The proportion of avionics systems/software at these levels is presented in Table 1 .  ... 
doi:10.1109/ccece.2008.4564656 fatcat:7k4pmb77hvckje7cbrkcyrd67y

Breaking through the V and V bottleneck [chapter]

Martin Croxford, James Sutton
1996 Lecture Notes in Computer Science  
With conventional methods of performing verification and validation -heavily reliant on testing performed late in the software production processthe late detection of errors adds substantially to project  ...  The process described here has been applied successfully to the development of avionic software for the new C-130J ("Hercules") aircraft.  ...  (By formal verification we mean here mathematical and semi-automated verification of internal consistency of the software in terms of absence of data and information flow errors, as well as verification  ... 
doi:10.1007/bfb0015506 fatcat:sawcwg24oba43j656aswyjndza

Experience report

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
2009 Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09  
This paper outlines how it has been challenging in the context of safety critical software development by the rigorous norms DO-178B, IEC 61508, EN 50128 and such.  ...  In the context of safety-critical embedded systems, the development processes follow strict guidelines and requirements.  ...  in the context of software engineering tools.  ... 
doi:10.1145/1596550.1596582 dblp:conf/icfp/PaganoAMCCWMC09 fatcat:xlzpve42jrgkvceaww3kjnyzem

Experience report

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
2009 SIGPLAN notices  
This paper outlines how it has been challenging in the context of safety critical software development by the rigorous norms DO-178B, IEC 61508, EN 50128 and such.  ...  In the context of safety-critical embedded systems, the development processes follow strict guidelines and requirements.  ...  in the context of software engineering tools.  ... 
doi:10.1145/1631687.1596582 fatcat:u6jzllmwlnb4vhepolsuzmorkm

Impact of Dependable Software Development Guidelines on Timing Analysis

I. Wenzel, R. Kirner, M. Schlager, B. Rieder, B. Huber
2005 EUROCON 2005 - The International Conference on "Computer as a Tool"  
Finally, ARINC 653, a standard for software architectures of avionic systems, provides examples on how to simplify timing analysis already at the design level as early as in system design.  ...  DO-178B as a production guide for avionics software expresses requirements that are relevant for timing analysis.  ...  Toward WCET-Analyzable Code In this subsection we describe a software engineering technique to obtain more predictable code, which is called wcet-oriented programming [11] , [14] .  ... 
doi:10.1109/eurcon.2005.1629994 fatcat:5zwwjshtfbcs3gbfzyyxo5m4cm

Other titles from iSTE in Computer Engineering [chapter]

2018 Data Analytics and Big Data  
Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification PASCHOS Vangelis Th Combinatorial Optimization -3-volume series, 2 nd Edition Concepts of Combinatorial Optimization  ...  Model-Driven and Software Product Line Engineering BABAU Jean-Philippe et al.  ... 
doi:10.1002/9781119528043.oth fatcat:szaan5sia5ff5psl34iycxjodu

Replacement strategy for aging avionics computers

J. Luke, J.W. Bittorie, W.J. Cannon, D.G. Haldeman
1999 IEEE Aerospace and Electronic Systems Magazine  
This scaleable technology, developed by TRW and sponsored in part by the Air Force Research Laboratory, demonstrates performance improvements of five to 20 times that of the legacy avionics computer that  ...  It also promises a fourfold decrease in cost and schedule over rewriting the code, and provides a known, good starting point for incremental upgrades of the embedded flight software.  ...  The MIL-STD-1750A DISC has completed validation using the official acceptance test procedures and verification software originally developed and supported by the Systems Engineering Avionics Facility.  ... 
doi:10.1109/62.750422 fatcat:s6olnb3gajbsnhkgaicpdi3l3e
« Previous Showing results 1 — 15 out of 2,418 results