RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Modern structured analysis
Specifying real-time properties with metric temporal logic
Real-Time Systems
Hierarchical object-oriented design
Hierarchical object-oriented design
CCS + time = an interleaving model for real time systems
Proceedings of the 18th international colloquium on Automata, languages and programming
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Real-time object-oriented modeling
Real-time object-oriented modeling
A specification-oriented semantics for the refinement of real-time systems
Theoretical Computer Science
Towards an algebraic semantics for the object paradigm
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
A fast prototype tool for parallel reactive systems
Journal of Systems Architecture: the EUROMICRO Journal
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
A Predicative Semantics for the Refinement of Real-Time Systems
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
Real-Time Refinement: Semantics and Application
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Distributed System Specification in VDM++
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Parallel Programmming in Maude
Research Directions in High-Level Parallel Programming Languages
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
A Case for Structured Analysis/Formal Design
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Refining Interval Temporal Logic Specifications
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Timed CSP: Theory and Practice
Proceedings of the Real-Time: Theory in Practice, REX Workshop
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Hi-index | 0.00 |
An object based formal method for the development of real‐time systems, called ATOM, is presented. The method is an integration of the real‐time formal technique TAM (Temporal Agent Model) with an industry‐strength structured methodology known as HRT‐HOOD. ATOM is a systematic formal approach based on the refinement calculus. Within ATOM, a formal specification (or abstract description statement) contains Interval Temporal Logic (ITL) description of the timing, functional, and communication behavior of the proposed real‐time system. This formal specification can be analyzed and then refined into concrete statements through successive applications of sound refinement laws. Both abstract and concrete statements are allowed to freely intermix. The semantics of the concrete statements in ATOM are defined denotationally in specification‐oriented style using ITL.