A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Synchronization with eventcounts and sequencers
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Operating system principles
A procedure for designing abstract interfaces for device interface modules
ICSE '81 Proceedings of the 5th international conference on Software engineering
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations
IEEE Transactions on Software Engineering
A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems
IEEE Transactions on Software Engineering
Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
On satisfying timing constraints in hard-real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Specification and Design of Transactions in Information Systems: A Formal Approach
IEEE Transactions on Software Engineering
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Priority Scheduling Versus Pre-Run-Time Scheduling
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Frameworks for Developing Intelligent Systems: The ABE Systems Engineering Environment
IEEE Expert: Intelligent Systems and Their Applications
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Formally Specifying and Verifying Real-Time Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
| Hi-index | 48.22 |
The design of software for hard-real-time systems is usually difficult to change because of the constraints imposed by the need to meet absolute real-time deadlines on processors with limited capacity. Nevertheless, a new approach involving a trio of ideas appears to be helpful for those who build software for such complex applications.