A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Tool Support for Engineering Certifiable Software
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Future Computer and Communication
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2004
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 International Conference on Trustworthy Systems and their Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Canadian Conference on Electrical and Computer Engineering (CCECE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2009
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2005
EUROCON 2005 - The International Conference on "Computer as a Tool"
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
1999
IEEE Aerospace and Electronic Systems Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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