Software development of real-time systems
Communications of the ACM
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
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
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
Scheduling algorithms for hard real-time systems: a brief survey
Tutorial: hard real-time systems
Real-Time Scheduling Theory and Ada
Computer
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Scheduling hard real-time systems: a review
Software Engineering Journal - Special issue on real-time software
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Specification and design of embedded systems
Specification and design of embedded systems
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Concurrent design patterns for resource sharing
Proceedings of the conference on TRI-Ada '97
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Symbolic Model Checking
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Constructing Predictable Real Time Systems
Constructing Predictable Real Time Systems
Hard Real-Time Systems
Focusing Real-Time Systems Analysis on User Operations
IEEE Software
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Applications of Temporal Logic to the Specification of Real-time Systems
Systems, Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Preemption in Concurrent Systems
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Event-Triggered Versus Time-Triggered Real-Time Systems
Proceedings of the International Workshop on Operating Systems of the 90s and Beyond
XEVE, an ESTEREL Verification Environment
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software
Proceedings of the 7th International Conference on Computer Aided Verification
VIS: A System for Verification and Synthesis
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A Platform for Combining Deductive with Algorithmic Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Student Projects in Reactive and Real-Time Systems Course
RTEW '98 Proceedings of the Third IEEE Real-Time Systems Education Workshop
Training Engineers in Real-Time Systems Design: An Integrated Curriculum
RTEW '98 Proceedings of the Third IEEE Real-Time Systems Education Workshop
Dependability Issues for a Curriculum in Real-Time Systems
RTEW '98 Proceedings of the Third IEEE Real-Time Systems Education Workshop
Clocked Transition Systems
Hi-index | 0.00 |
The paper describes the syllabus and the students’ projects from a graduate course on the subject of “Reactive and Real-Time Systems”, taught at Tel-Aviv University and at the Open University of Israel. The course focuses on the development of provably correct reactive real-time systems. The course combines theoretical issues with practical implementation experience, trying to make things as tangible as possible. Hence, the mathematical and logical frameworks introduced are followed by presentation of relevant software tools and the students’ projects are implemented using these tools. The course is planned so that no special purpose hardware is needed and so that all software tools used are freely available from various Internet sites and can be installed quite easily. This makes our course attractive to institutions and instructors for which purchasing and maintaining a special lab is not feasible due to budget, space, or time limitations (as in our case). In the paper we elaborate on the rationale behind the syllabus and the selection of the students’ projects, presenting an almost complete description of a sample design of one team’s project.