Abstract
This paper introduces the needs associated with the certification of real-time systems. Then, it presents the approach used today, mainly based on risk analysis and safety assessment processes which structure the development process and require verification phases. We show that these two viewpoints must be completed by the mastering of the used technology and of the human activity using this technology. The project conducted to handle these issues for UML technology is finally introduced.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Austin-Hood C., Johnson K. A., Pettit R. G., Opdahl S. B., “Ada95 quality and style”, Lecture Notes in Computer Science nº 1344, Springer, 1997
Aerospace Vehicule System Institute, “Guide to the certification of systems with embedded object-oriented software”, version 1.8b, 2002
Bashir I., Goel A. L., “Testing object-oriented software. Life cycle solutions”, Springer, 1999
Binder R. V., “Testing object-oriented system: models, patterns and tools”, Addison-Wesley, 1999
Briand L., Labich Y., “A UML-based approach to system testing”, the 4th international conference UML 2001, Lecture Notes in Computer Science nº 2185, Springer, 2001
“Directive du Conseil Europeen du 14 juin 1993 concernant les appareils medicaux”, Journal Officiel des Communautes Europeennes nº LI69, 1993
DO-178B / ED-12 Revision B, “Software considerations in airborne systems and equipment certification”, Requirements and Technical Concepts for Aviations (RTCA) Inc., 1992
EUROCAE ED-79 / ARP-4754, “Certification considerations for highly-integrated or complex aircraft”, European Organization for Civil Aviation Equipment, 1996
Geffroy J.-C., Motet G., “Design of Dependable Computing Systems”, Kluwer Academic Publishers, 2002
ISO / IEC 61508, “Functional safety of electrical, electronic, programmable electronic safety-related systems”, ISO (International Organization for Standardization), 1998
ISO / IEC, Guide 51, “Safety aspects - Guidelines for their inclusion in standards”, ISO (International Organization for Standardization), 1999
ISO 14971, “Medical devices - Application of risk management to medical devices”, ISO (International Organization for Standardization), 2000
ISO 15952, “Guidance for the use of the Ada programming language in high integrity systems” ISO (International Organization for Standardization), 1999
Lovric T., “Requirements for the certification of safety critical railway systems”, in Software Quality (Wieczorek M. and Meyerhoff D. Eds), Springer, 2001
Motet G., Marpinard A., Geffroy J.-C., “Design of dependable Ada software”, Prentice Hall, 1996
Motet G., Fleurquin R., Szmuc T., “Impact of quality systems on real-time software lecture and laboratories”, in Real-Time Systems Education, vol. 2, IEEE publisher, 1997
Motet G., Geffroy J.-C., “Dependable computing: an overview”, Theoretical Computer Sciences, vol. 291, nº 2, Elsevier, 2003
Pap Z., Majzik I., Pataricza A., “Checking general safety criteria on UML state chartsD, in Computer Safety Reliability and Security (Udo Voges editor), Lecture Notes in Computer Science nº 2187, Springer, 2001
Papadopoulous Y., McDermid J. A., “The potential for a generic approach to certification of safety critical systems in transportation sector”, in Reliability Engineering and Systems Safety, vol. 3, Elesevier, 1998
Rierson L.K., “Object-oriented technology in civil aviation projects: certification concerns”, Federal Aviation Administration (FAA), Washington D.C., 2000
Vebel H., Fitzke A., Warlitz J., “European standards in field of railway signalling and their influence on software testing methods”, in Software Quality (Wieczorek M. and Meyerhoff D. Eds), Springer, 2001
Wichmann B. A. et al, “Guidance for the use of the Ada programming language in high integrity systems”, Ada Letters, vol. 18, nº 4, ACM publisher, 1998
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Motet, G. (2002). Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process. In: Holleczek, P., Vogel-Heuser, B. (eds) Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-55713-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-55713-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44332-2
Online ISBN: 978-3-642-55713-2
eBook Packages: Springer Book Archive