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
Current trends in concurrency. Overviews and tutorials
Communications of the ACM
Semantics of Modechart in real time logic
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Specifying real-time properties with metric temporal logic
Real-Time Systems
Object-oriented modeling and design
Object-oriented modeling and design
The behavior network model for conceptual information modeling
Information Systems
An executable visual formalism for object-oriented conceptual modeling
Journal of Systems and Software
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Top-down development of real-time software specification
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
Object state testing and fault analysis for reliable software systems
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
COMPSAC '00 24th International Computer Software and Applications Conference
| Hi-index | 0.00 |
An object-oriented real time systems conceptual modeling approach is described. In this approach, each object is specified by an object type, consisting of supertypes (inheritance), component types (aggregation), attributes, operations, static constraints, and timed temporal constraints. An object type specification defines a theory of a type of objects. In particular, the static constraints define the valid states of the objects, the operations define the valid state transitions each consisting of a set of execution rules. Each execution rule consists of a precondition and a postcondition. The timed temporal constraints define the permissible sequences of state transitions. Atomic and composite object state diagrams (AOSD and COSD) are then constructed from a formal specification for verification of the satisfiability of the timed temporal constraints.