This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Automated Safety Critical Software Development for Distributed Control Systems: A COTS Approach
Technical Paper
2001-01-0675
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Event:
SAE 2001 World Congress
Language:
English
Abstract
This paper presents a commercial off-the-shelf (COTS) approach to the automated generation of safety critical software for a distributed control system. The tool suite presented supports Honeywell's next generation Modular Aerospace Controls (MAC) architecture that facilitates fault tolerant distributed engine control utilizing intelligent components connected with TTP/C.
This paper describes the integration of tool chains from two commercial vendors, the BEACON™ tool chain from Applied Dynamics International (ADI) and the TTP support tool chain from Time Triggered Technology (TTTech). The integration of these tool chains yields a powerful end-to-end systems-to-software environment that enables a fully automated approach to the development of distributed embedded software and its verification data.
Recommended Content
Technical Paper | Evaluating Alternate Approaches for Co-Hosting Third Party Software within Safety Critical Applications in ISO 26262 Context |
Technical Paper | A Multi-Media Gateway for Vehicles |
Technical Paper | Tool Integration from Design to Test |
Authors
Topic
Citation
Hall, B., Sellner, B., and Maier, R., "Automated Safety Critical Software Development for Distributed Control Systems: A COTS Approach," SAE Technical Paper 2001-01-0675, 2001, https://doi.org/10.4271/2001-01-0675.Also In
SAE 2001 Transactions Journal of Passenger Cars - Electronic and Electrical Systems
Number: V110-7; Published: 2002-09-15
Number: V110-7; Published: 2002-09-15
References
- Beizer, B. Software Testing Techniques Van Nostrand Reinhold 1983
- Erkinnen T. Bridging the Gap Between Control Engineering and Software Development COTS Journal January February 2000
- Ghiassi M. Woldman K. I. S. Dual programming approach to software testing, Software Quality Journal 3 45 59 1994
- Kopetz H. Real-Time Systems - Design Principles for Distributed Embedded Application Kluwer 0-7923-9894-7
- Pfeifer H. Schwier D. et. al. Formal Verification for Time-Triggered Clock Synchronization University¨ at Ulm Dependable Computing and Fault-Tolerant Systems 12 207 226 IEEE Computer Society
- Software Considerations in Airborne- Systems and Equipment Certification
- Design Assurance Guidance for Airborne Electronic Hardware
- Thompson H.A Benitez-Perez H. et. al. A CAN-based Safety-Critical Distributed Aero-Engine Control Systems Architecture Demonstrator Rolls- Royce University Technology Centre in Control and Systems Engineering, University of Sheffield
- Motor Industry Software Reliability Research Association- (MISRA) Development Guidelines for Vehicle Based Software
- HayHurst K.J. Dorsey C.A. Knight J.C Leveson N.H. McCormick G.F. Streamlining the Software Aspects Of Certification
- Papadopouls Y. McDermid J.A. The Potential for a Generic Approach to Certification of Safety Critical Systems in the Transportation Sector Journal of Reliability Engineering and System Safety 63 1999
- Penix J. Visser W. Engstrom E. Larson A. Weininger N. Verification of Time Partitioning in the DEOS Scheduler Kernel Proceedings of the 22nd International Conference on Software Engineering Limeric, Ireland June 2000 ACM Press
- Engblom J. Ermedahl A. Sjödin M. Gustafsson J. Hansson H Towards Industry-Strength Worst-Case Execution Time Analysis ASTEC Technical Report 99/02 DoCS Technical report 99/109 April 23 1999
- Engblom J. Ermedahl A. Sjödin M. Gustafsson J. Hansson H Execution-Time Analysis for Embedded Real-Time Systems Dept of Computer Science Uppsala University
- VanRossum G. Drake F.L. The Python Reference Manual BeOpen Python Labs
- Normand E. Baker T.J. Altitude and Latitude Variations in Avionics SUE and Atmospheric Flux IEEE Trans. Nucl. Sci 40 1484 1993
- Sims A.J. Dyer C.S. Peerless C.L. Johansson K. Petterson H. Farren J. The Single Event Upset Environment For Avionics At High Latitude CIENCE 41 6 1994
- Normand E. Single Event Upset at Ground Level IEEE Transactions on Nuclear Science 43 6 1996