Skip to main content
SpringerLink
Log in

OMEGA: correct development of real time and embedded systems

  • Guest Editorial
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

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

References

  1. Ábrahám, E., Grüner, A., Steffen, M.: Heap-abstraction for an object-oriented calculus with thread classes. Softw. Syst. Model. 7(2) (2008, this issue)

  2. Arons, T., Hooman, J., Kugler, H., Pnueli, A., van der Zwaag, M.: Deductive verification of UML models in TLPVS. In: UML 2004—7th Intl Conference on Unified Modelling Language. Lisbon. LNCS 3273:335–349 (2004)

  3. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)

    Book  Google Scholar 

  4. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: 4th IEEE Intl Conference on Software Engineering and Formal Methods, pp. 3–12 (SEFM 2006), Pune, India. IEEE Comp. Soc. (2006)

  5. Combes, P., Harel, D., Kugler, H.: Modeling and verication of a telecommunication application using Live Sequence Charts and the Play-Engine tool. Softw. Syst. Model. 7(2) (2008, this issue)

  6. Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. In: FMOODS’99 IFIP TC6/WG6.1 3rd Intl Conference on Formal Methods for Open Object-Based Distributed Systems. Kluwer, Dordrecht (1999)

  7. Damm, W., Josko, B., Pnueli, A., Votintseva, A.: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1–3) (2005)

  8. Gössler, G., Sifakis, J.: Composition for component-based modeling. Sci. Comp. Program. 55(1–3) (2005)

  9. Gössler, G., Sifakis, J.: Composition for component-based modeling. In: 1st Symp. on Formal Methods for Components and Objects. LNCS Tutorials 2852 (2003)

  10. Gössler, G., Sifakis, J.: Priority systems. In: 2nd Symposium on Formal Methods for Components and Objects, FMCO. LNCS Tutorials 3188 (2004)

  11. Graf, S., de Boer, F., Combes, P., Hooman, J., Kugler, H., Kyas, M., Lesens, D., Ober, I., Votintseva, A., Yushtein, Y., Zenou, M.: OMEGA final project report (2005). http://www-omega.imag.fr/

  12. Graf, S., Hooman, J.: Correct development of embedded systems. In: European Workshop on Software Architecture: Languages, Styles, Models, Tools, and Applications (EWSA 2004), St Andrews, LNCS 3047 (2004)

  13. Graf, S., Ober, I., Ober, I.: Timed annotations in UML. Softw Tools Techn. Transfer 8(2) (2006)

  14. Harel, D., Kugler, H., Pnueli, A.: Smart play-out extended: time and forbidden elements. In: Intl Conf. on Quality Software, 2–10 (QSIC04). IEEE Press, New York (2004)

  15. Harel, D., Marelly, R.: Playing with time: On the specification and execution of time-enriched LSCs. In: Proceedings 10th IEEE/ACM Intertnational Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) (2002)

  16. Hooman, J., Kugler, H., Ober, I., Votintseva, A., Yushtein, Y.: Supporting UML-based development of embedded systems by formal techniques. Softw. Syst. Model. 7(2) (2008, this issue)

  17. Hooman, J., van der Zwaag, M.: A semantics of communicating reactive objects with timing. Soft. Tools Technol. Transfer 8(2), 97–112 (2006)

    Article  Google Scholar 

  18. Kyas, M., Fecher, H., de Boer, F.S., van der Zwaag, M., Hooman, J., Arons, T., Kugler, H.: Formalizing UML models and OCL constraints in PVS. In: Workshop on Semantic Foundations of Engineering Design Languages, SFEDL 2004, ENTCS 115:39–47. Elsevier, Amsterdam (2004)

  19. Marelly, R., Harel, D., Kugler, H.: Multiple instances and symbolic variables in executable sequence charts. In: Proceedings 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, 83–100 (OOPSLA’02). Seattle (2002)

  20. Ober, I., Graf, S., Lesens, D.: A case study in UML model-based validation: The Ariane-5 launcher software. In: FMOODS 2006, LNCS, vol. 4037 (2006)

  21. Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. Softw. Tools Techn. Transfer 8(2) (2006)

  22. Ober, I., Graf, S., Yushtein, Y.: Using a UML profile for timing analysis with the IF validation tool-set. In: Proc. of Model-Based Development of Embedded Systems, MBEES, Dagstuhl, Germany, no. 2006/01 in Techn. Rep. SSE, U. Braunschweig (2006)

  23. Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The rhapsody UML verification environment. In: 2nd Intl Conf. on Software Engineering and Formal Methods, 174–183 (SEFM 2004). IEEE, Bejing (2004)

  24. Shankar, N., Owre, S., Rushby, J.: The PVS proof checker: a reference manual (draft). Tech. rep, SRI International, Menlo Park (1993)

Download references

Author information

Authors and Affiliations

  1. VERIMAG, 2 avenue de Vignate, 38610, Grenoble-Gières, France

    Susanne Graf

Authors
  1. Susanne Graf
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Susanne Graf.

Additional information

IST-2001-33522, duration from 2002 to 2005, supported by the European Commission.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Graf, S. OMEGA: correct development of real time and embedded systems. Softw Syst Model 7, 127–130 (2008). https://doi.org/10.1007/s10270-007-0077-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-007-0077-5

Keywords

Search

Navigation