Executable hybridUML semantics: a transformation definition

Machine reads

[1]  Ivar Jacobson,et al.  The Unified Modeling Language Reference Manual, Second Edition , 2005 .

[2]  Ernst-Rüdiger Olderog,et al.  Verification of Sequential and Concurrent Programs , 1991, Texts and Monographs in Computer Science.

[3]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[4]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[5]  Insup Lee,et al.  Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.

[6]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[7]  Amir Pnueli,et al.  Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.

[8]  Stefan Bisanz,et al.  INTEGRATED SPECIFICATION , VALIDATION AND VERIFICATION WITH HYBRIDUML AND OCL APPLIED TO THE BART CASE STUDY , 2004 .

[9]  Kaisa Sere,et al.  Hybrid action systems , 2003, Theor. Comput. Sci..

[10]  Aliki Ott,et al.  System Testing in the Avionics Domain , 2007 .

[11]  Eckehard Schnieder,et al.  Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator , 2004, SoftSpez Final Report.

[12]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .

[13]  Anders P. Ravn,et al.  An Extended Duration Calculus for Hybrid Real-Time Systems , 1992, Hybrid Systems.

[14]  Christ T. Sennett.  High-Integrity Software , 1989, Software Science and Engineering.

[15]  Anne Elisabeth Haxthausen,et al.  Automatic Verification, Validation and Test for Railway Control Systems Based on Domain-Specific Descriptions , 2003 .

[16]  Peter Jansen,et al.  Verification of Automotive Control Units , 1999, Correct System Design.

[17]  Hilding Elmqvist,et al.  Object-Oriented and Hybrid Modeling in Modelica , 2001 .

[18]  Amir Pnueli,et al.  A Compositional Real-Time Semantics of STATEMATE Designs , 1997, COMPOS.

[19]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[20]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[21]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[22]  Jan Peleska,et al.  The HybridUML profile for UML 2.0 , 2005, International Journal on Software Tools for Technology Transfer.

[23]  Anders P. Ravn,et al.  Design of embedded real-time computing systems , 1994 .

[24]  Eckehard Schnieder,et al.  Modelling, Analysis and Design of Hybrid Systems , 2002 .

[25]  Oliver Meyer.  Structural decomposition of timed CPS and its application in real time testing , 2002 .

[26]  Zohar Manna,et al.  Verification of Clocked and Hybrid Systems , 1996, European Educational Forum: School on Embedded Systems.

[27]  Jan Peleska,et al.  Formal methods and the development of dependable systems , 1996, Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik.

[28]  Anders P. Ravn,et al.  A Formal Description of Hybrid Systems , 1996, Hybrid Systems.

[29]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[30]  Mark Richters,et al.  A precise approach to validating UML models and OCL constraints , 2002 .

[31]  Jörn Pachl,et al.  Railway Operation and Control , 2002 .

[32]  Kirsten Berkenkötter,et al.  Using UML 2 . 0 in Real-Time Development A Critical Review , 2003 .

[33]  Charles André.  Representation and Analysis of Reactive Behaviors: A Synchronous Approach , 2000 .

[34]  André Nordwig.  Integration von Sichten für die objektorientierte Modellierung hybrider Systeme , 2003 .

[35]  Ivar Jacobson,et al.  Unified Modeling Language Reference Manual, The (2nd Edition) , 2004 .

[36]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[37]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[38]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[39]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[40]  Eckehard Schnieder,et al.  Traffic Control Systems Case Study: Problem Description and a Note on Domain-based Software Specific , 2000 .

[41]  Vijay Kumar,et al.  Hierarchical Hybrid Modeling of Embedded Systems , 2001, EMSOFT.

[42]  Jan Peleska,et al.  Executable HybridUML and Its Application to Train Control Systems , 2004, SoftSpez Final Report.

[43]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[44]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[45]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[46]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[47]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[48]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[49]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[50]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[51]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[52]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[53]  Radu Grosu,et al.  Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts , 2002, Formal Methods Syst. Des..

[54]  Florence Maraninchi,et al.  Argos: an automaton-based synchronous language , 2001, Comput. Lang..

[55]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[56]  Anish Arora,et al.  Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997) , 1998, SIGA.

[57]  Nancy A. Lynch,et al.  The generalized railroad crossing: a case study in formal verification of real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

[58]  Gérard Berry,et al.  The foundations of Esterel , 2000, Proof, Language, and Interaction.

[59]  Stephen P. Banks,et al.  Modelling of Hybrid Systems Based on Extended Coloured Petri Nets , 1994, Hybrid Systems.

[60]  He Jifeng,et al.  From CSP to hybrid systems , 1994 .

[61]  Aliki Ott,et al.  Domain Specific V & V Strategies for Aircraft Applications , 2005 .

[62]  Neil R. Storey,et al.  Safety-critical computer systems , 1996 .

[63]  Stefan Bisanz,et al.  Using a Virtual Reality Environment to Generate Test Specifications , 2003 .

[64]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[65]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[66]  Mathai Joseph,et al.  Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.