Skip to main content
SpringerLink
Log in

Foundations of a new software engineering method for real-time systems

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

The design of a fault-tolerant distributed, real-time, embedded system with safety-critical concerns requires the use of formal languages. In this paper, we present the foundations of a new software engineering method for real-time systems that enables the integration of semiformal and formal notations. This new software engineering method is mostly based upon the ”COntinuuM” co-modeling methodology that we have used to integrate architecture models of real-time systems (Perseil and Pautet in 12th International conference on engineering of complex computer systems, ICECCS, IEEE Computer Society, Auckland, pp 371–376, 2007) (so we call it “Method C”), and a model-driven development process (ISBN 978-0-387-39361-2 in: From model-driven design to resource management for distributed embedded systems, Springer, chap. MDE benefits for distributed, real time and embedded systems, 2006). The method will be tested in the design and development of integrated modular avionics (IMA) frameworks, with DO178, DO254, DO297, and MILS-CC requirements.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Albinet A, Boulanger JL, Dubois H, Peraldi-Frati MA, Sorel Y, Van QD (2007) Model-based methodology for requirements traceability in embedded systems. In: 3rd ECMDA workshop on traceability, Haifa, Israel

  2. AS-2C S (2004) SAE Architecture Analysis and Design Language (AADL). SAE International, sAE AS5506

  3. Barbaria K, Hamid I, Najm E, Pautet L, Vergnaud T, Vignes S (2005) Modeling patterns in AADL: solutions and extensions. Tech. rep., ENST

  4. Barbaria K, Pautet L, Perseil I (2006) Schizophrenic middleware support for fault tolerance. In: SIGAda, ACM, New York, pp 51–60

  5. Bate G (1987) The official handbook of mascot

  6. Biely M, Lann GL, Schmid U (2005) Proof-based system engineering using a virtual system model. In: ISAS, Lecture Notes in Computer Science. Springer, Berlin, pp 164–179

  7. Bowen JP, Hinchey MG (1995) Ten commandments of formal methods. IEEE Comput 28(4): 56–63

    Google Scholar 

  8. Burns A, Wellings A (1995) A structured design method for hard real-time systems. Elsevier, Amsterdam

    Google Scholar 

  9. Gerard S, Feiler P, Rolland J, Filali M, Reiser MO, Delanote D, Berbers Y, Pautet L, Perseil I (2007) Uml&aadl ’2007 grand challenges. ACM SIGBED Review, A special report on UML&AADL Grand Challenges 4(4)

  10. Gooma H (1996) Software design methods for concurrent and real-time systems, Addison-Wesley, Reading, pp 137-294

  11. Hatley D, Pirbhai I (1987) Strategies for real-time system specification. Dorset House Publishing

  12. Hinchey MG (1993) Structured and formal methods: an investigative framework. In: Lamb DA(eds) ICSE workshop on studies of software design. Lecture notes in computer science, vol 1078. Springer, Heidelberg, pp 151–163

    Google Scholar 

  13. ISBN 978-0-387-39361-2 (2006) From model-driven design to resource management for distributed embedded systems, Springer, chap MDE benefits for distributed, real time and embedded systems

  14. Jackson MA (1983) Jackson’s book System development. Prentice-Hall, Englewood Cliffs

    Google Scholar 

  15. Lamport L (2006) The +CAL algorithm language. In: +CAL

  16. Marca DA, McGowan CL (1987) SADT: structured analysis and design technique. McGraw-Hill, New York

    Google Scholar 

  17. Mullery G (1979) Core a method for controlled requirement specification. In: Proceedings of the 4th international conference on software engineering, Munich, Germany, pp 126–135

  18. OMG (2007) Lockheed martin (MDA success story). http://www.omg.org/mda/mda_files/LockheedMartin.pdf

  19. OMG (2007) UML profile for MARTE, beta 1, ptc/07-08-04. http://www.omg.org/cgi-bin/doc?ptc/2007-08-04

  20. Paige RF (1997) Case studies in using a meta-method for formal method integration. In: Johnson M(eds) AMAST, Lecture Notes in Computer Science, Sydney, vol 1349. Springer, Heidelberg, pp 395–408

    Google Scholar 

  21. Paige RF (1997) A meta-method for formal method integration. In: Fitzgerald JS, Jones CB, Lucas P (eds) FME. Lecture notes in computer science, vol 1313. Springer, Graz, Austria, pp 473–494

  22. Perseil I, Pautet L (2007) A co-modeling methodology designed for RT architecture models integration. In: 12th international conference on engineering of complex computer systems, ICECCS, IEEE Computer Society, Auckland, pp 371–376

  23. Perseil I, Pautet L (2008) A concrete syntax for UML 2.1 action semantics using +cal. In: 13th International conference on engineering of complex computer systems, ICECCS, IEEE Computer Society, Belfast, pp 217–221

  24. Priddin D, Burns A (1998) Integrating real-time structured design and formal techniques. In: FTRTFT, Lecture Notes in Computer Science, vol 1486. Springer, Lyngby, pp 92–102

  25. Rosen JP (1997) HOOD, An industrial approach for software design

  26. Subcommittee SACADL (2008) Architecture analysis and design language (AADL) v2—Draft v1.6, SAE AS5506. SAE Aerospace

  27. Zalila B, Pautet L, Hugues J (2008) Towards automatic middleware generation. In: ISORC, IEEE Computer Society, Orlando, pp 221–228

  28. Ziegler L, Awad M, Kuusela J (1995) Applying object-oriented technology in real-time systems with the octopus method. In: Proceedings of the 1st international conference on engineering of complex computer systems ICECCS 1995, vol 1. IEEE Computer Society, New York, p 306

Download references

Author information

Authors and Affiliations

  1. TELECOM ParisTech, 46 rue Barrault, 75013, Paris, France

    Isabelle Perseil & Laurent Pautet

Authors
  1. Isabelle Perseil
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laurent Pautet
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Isabelle Perseil.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Perseil, I., Pautet, L. Foundations of a new software engineering method for real-time systems. Innovations Syst Softw Eng 4, 195–202 (2008). https://doi.org/10.1007/s11334-008-0067-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-008-0067-y

Keywords

Search

Navigation