SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION

H. Lougee · 2001

Summary

In this article, reuse is defined simply as using previously existing software artifacts as part of the process of creating software systems from predefined software components.

Published: 2001-01-01
Cited by: 2,149
References: 7
Semantic Scholar: https://api.semanticscholar.org/CorpusID:5959053

References

Practical Software ReuseMichel Ezran, Maurizio Morisio, Colin Tully — 2002

Cited by

Layered Fault Tolerance for Distributed Embedded SystemsRaul Barbosa — 2008
Formalization of control-flow criteria of software testingSergiy Vilkomir, Jonathan P. Bowen — 2001
Formal Verification of a Synchronous Data- flow Compiler : from Signal to C. (Vérification Formelle d'un Compilateur Synchrone: de Signal vers C)Van Chan Ngo — 2014
A problem-oriented approach to normal design for safety-critical systemsDerek Mannering, Jon G. Hall, Lucia Rapanotti — 2007
Drahtlose Kommunikation in der Flugzeugkabine für effiziente Arbeitsabläufe und PassagierdienstleistungenRalf God, Hartmut Hintze — 2010
SOLEIL: An Integrated Approach for Designing and Developing Component-based Real-time Java SystemsAleš Plšek — 2009
Tool Integration and Safety : A Foundation for Analysing the Impact of Tool Integrationon Non-functional PropertiesF. Asplund — 2012
Establishing Formal Regulatory Requirements for Safety-Critical Software CertificationSergiy Vilkomir, Jonathan P. Bowen — 2001
Formal modelling and analysis of mission-critical software in military avionics systemsZ.H. Qureshi — 2007
Resource allocation in hard real-time avionic systems. Scheduling and routing problemsAhmad Al Sheikh — 2011
Comparison of Object Oriented Technology Automatic Codes Generating Tools for Safety Critical Real-time SoftwareFarahzad Behi, Daniel J. Penny — 2006
Review of the Composability Problem for System EvaluationDan Craigen, Ora Canada, Mark Saaltink — 2004
Using software architecture techniques to support the modular certification of safety-critical systemsTim Kelly — 2007
Test Automation Meets Static AnalysisJan Peleška, Helge Löding, Tatiana Kotas — 2007
Measures and Risk Indicators for Early Insight into Software Safety. Development of Fault-Tolerant SystemsVictor R. Basili, Frank Marotta, Kathleen Dangle — 2008
Automated V&V for high integrity systems, a targeted formal methods approachSimon Burton, John A. Clark, Andy Galloway — 2000
Methodologies for the Probabilistic Risk Assessment of Digital Reactor Protection and Control SystemsTunc Aldemir, D.W. Miller, Michael P. Stovsky — 2007
Building a Preliminary Safety Case: An Example from AerospaceTim Kelly, Iain Bate, John McDermid — 1999
2.3.4 Experience with Extending CMMISM for Safety Related ApplicationsMark Bofinger, Neil Robinson, Peter Lindsay — 2002
Guidance for Using Formal Methods in a Certification ContextVirginie Wiels, Kelly J. Hayhurst, Duncan Brown — 2010

Related papers

No related papers recorded.