Software Verification and Validation: Realistic Project Approaches
Software Verification and Validation: Realistic Project Approaches
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Timing extensions to structured analysis for real time systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The Rejection Rate for Tasks with Random Arrivals, Deadlines, and Preemptive Scheduling
IEEE Transactions on Software Engineering
SDL: a standard language for Ada real-time applications
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
| Hi-index | 0.00 |
A way is presented to model and validate complex, real-time systems by describing these systems from the viewpoints of the major parties in system development: the customer, the user, and the implementer. The models representing these points of view are called, respectively, the requirements model, the operations-concept model, and the implementation model. The focus is on how the concept of operations can be formally factored into established real-time system-analysis methods in terms a nontechnical user can understand. The approach integrates and refines several real-time-oriented modeling methods, including structured analysis, finite-state machines, and threads. Modeling needs are discussed, the multiview paradigm is presented, and an extensive example of a bottle-filling system is given to illustrate the use of the method.