The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Real-time system = discrete system + clock variables
Theories and experiences for real-time system development
Deriving hard real-time embedded systems implementations directly from SDL specifications
Proceedings of the ninth international symposium on Hardware/software codesign
Hardware/Software Codesign and Rapid Prototyping of Embedded Systems
IEEE Design & Test
Integrating Schedulability Analysis and Design Techniques in SDL
Real-Time Systems
Specifying real-time requirements for SDL specifications - a temporal logic-based approach
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Automated Validation of Distributed Software Using the IF Environment
NCA '01 Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA'01)
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Designing distributed software with RT-CORBA and SDL
Computer Standards & Interfaces
An evaluation of timed scenario notations
Journal of Systems and Software
Specification and simulation of real time concurrent systems using standard SDL tools
SDL'03 Proceedings of the 11th international conference on System design
SDL'05 Proceedings of the 12th international conference on Model Driven
Hi-index | 0.00 |
In this paper we give an overview on a set of time related features, useful in the context of real-time system design and classify them into two categories, those needed for modelling of non functional aspects and analysis, and those needed for functional design. We allow the distinction between functional and non functional timing aspects of a specification. We show how these features are represented at the semantic level with a minimal number of primitives.