Using an UML profile for timing analysis with the if validation tool-set

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, MBEES 2006

Volumn , Issue , 2006, Pages 75-83

  Ober, Iulian ^a   Graf, Susanne ^b   Yushtein, Yuri ^c  

^a UNIVERSITÉ TOULOUSE JEAN JAURÈS   (France)

^b VERIMAG   (France)

^c NLR ^*  (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX COMPONENTS; ENTIRE SYSTEM; FIELD ENGINEERS; MODELING TIMING; REAL-TIME DESIGN; RECONNAISSANCE SYSTEMS; TIMING ANALYSIS; TIMING ANALYSIS AND VERIFICATION; TIMING ASPECTS; UML PROFILES;

EMBEDDED SYSTEMS; RECONNAISSANCE AIRCRAFT;

AUTOMATA THEORY;

EID: 84873444891     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Marius Bozga, Susanne Graf, and L. Mounier. IF-2.0: A Validation Environment for Component-Based Real-Time Systems. In Proceedings of Conference on Computer Aided Verification, CAV'02, Copenhagen, number 2404 in LNCS. Springer Verlag, June 2002.
2. Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, and Joseph Sifakis. The IF toolset. In SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, number 3185 in LNCS, June 2004.
3. S. Bornot and J. Sifakis. Relating Time Progress and Deadlines in Hybrid Systems. In International Workshop, HART'97, Grenoble, LNCS 1201, pages 286-300. Spinger Verlag, March 1997.
4. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5):269-276, 1992.
5. Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva. Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. In Frank de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, Proceedings of the 1st Symposium on Formal Methods for Components and Objects (FMCO 2002), volume 2852 of LNCS Tutorials, pages 70-98, 2003.
6. Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva. A discrete-time UML semantics for concurrency and communication in safety-critical applications. Science of Computer Programming, 2005. (to appear).
7. Susanne Graf, Ileana Ober, and Iulian Ober. Timed annotations in UML. STTT, Int. Journal on Software Tools for Technology Transfer, 2005. under press.
8. Iulian Ober, Susanne Graf, and David Lessens. A case study in UML model-based dynamic validation: the Ariane-5 launcher software. submitted, 2005.
9. Iulian Ober, Susanne Graf, and Ileana Ober. Validating timed UML models by simulation and verification. STTT, Int. Journal on Software Tools for Technology Transfer, 2004, 2005. Under press.
10. OMG. Response to the OMG RFP For Schedulability, Performance and Time, v. 2.0. OMG document ad/2002-03-04, March 2002.