A UML 2-compatible language and tool for formal modeling real-time system architectures

ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, including real-time constraints. This paper summarizes the ArchiTRIO approach, and presents the core elements of a tool supporting it, called ArchiTRIDENT, which is currently under development. This tool is a plugin of the TRIO-based editing and verification TRIDENT tool suite. Categories and Subject Descriptors D.2.1 [Software Engineering]: Requirements/Specifications— Tools; D.2.2 [Software Engineering]: Design Tools and Techniques—Object-oriented design methods; D.2.4 [Software Engineering]: Software/Program Verification—Formal methods; D.2.11 [Software Engineering]: Software Architectures—Languages Keywords Formal methods, system architectures, real-time systems

• Type: Conference
• Year: 2006
• Where: SAC
• Authors: Pietro Colombo, Matteo Pradella, Matteo Rossi
• Keywords: Applied Computing, Keywords Formal Methods, SAC 2006, Software Engineering, State System-wide Properties