Development of Veda, a Prototyping Tool for Distributed Algorithms
IEEE Transactions on Software Engineering
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems
ECOOP '98 Workshop ion on Object-Oriented Technology
From the Specification to the Scheduling of Time-Dependent Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
A New UML Profile for Real-Time System Formal Design and Validation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A UML Profile for Real-Time Constraints with the OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Integrating Formal and Informal Specification Techniques. Why? How?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Automated Software Engineering
Advanced methods and tools for a precise UML panel
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
UML-based modeling and formal verification of security protocols
CoNEXT '05 Proceedings of the 2005 ACM conference on Emerging network experiment and technology
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A UML model consistency verification approach based on meta-modeling formalization
Proceedings of the 2006 ACM symposium on Applied computing
Adding a methodological assistant to a protocol modeling environment
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
TTool for DIPLODOCUS: an environment for design space exploration
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
An Embedded Software Testing Tool Supporting Multi-paradigm Views
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
An evaluation of timed scenario notations
Journal of Systems and Software
Deterministic UML Models for Interconnected Activities and State Machines
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
ArchMDE approach for the development of embedded real time systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
An UML-based approach for validation of software architecture descriptions
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
A XML script-based testing tool for embedded softwares
ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
TEPE: a SysML language for time-constrained property modeling and formal verification
ACM SIGSOFT Software Engineering Notes
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
On the evolution of quality conceptualization techniques
The evolution of conceptual modeling
A generic framework: from modeling to code
Innovations in Systems and Software Engineering
Mapping RT-LOTOS specifications into time petri nets
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Effective representation of RT-LOTOS terms by finite time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
UML-compiler: a framework for syntactic and semantic verification of UML diagrams
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
A performance profile and test tool for development of embedded software using various report views
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Hi-index | 0.00 |
This paper presents a UML 1.5 profile named TURTLE (Timed UML and RT-LOTOS Environment) endowed with a formal semantics given in terms of RT-LOTOS. TURTLE relies on UML's extensibility mechanisms to enhance class and activity diagrams. Class diagrams are extended with specialized classes named Tclasses, which communicate and synchronize through gates. Also, associations between Tclasses are attributed by a composition operator (Parallel, Synchro, Invocation, Sequence, or Preemption) which provides them with a formal semantics. TURTLE extends UML activity diagrams with synchronization actions and temporal operators (deterministic delay, nondeterministic delay, time-limited offer, and time-capture). The real-time dimension of TURTLE has been further improved by the addition of two composition operators, Periodic and Suspend, as well as suspendable delay, latency, and time-limited offer operators at the activity diagram level. Core characteristics of TURLE are supported by TTool驴the TURTLE toolkit驴which includes a diagram editor, a RT-LOTOS code generator and a result analyzer. The toolkit reuses RTL, a RT-LOTOS validation tool offering debug-oriented simulation and exhaustive analysis. TTool hides RT-LOTOS to the end-user and allows him/her to directly check TURTLE modeling against logical errors and timing inconsistencies. Besides the foundations of the TURTLE profile, this paper also discusses its application in the context of space-based embedded software.