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
Modeling Urgency in Timed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Methodology for the Construction of Scheduled Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Formal Specification and Analysis of Timing Properties in Software Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Specification and simulation of real time concurrent systems using standard SDL tools
SDL'03 Proceedings of the 11th international conference on System design
Using specification and description language to define and implement discrete simulation models
Proceedings of the 2010 Summer Computer Simulation Conference
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Towards an automatic transformation from a DEVS to a SDL specification
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Hi-index | 0.00 |
In this paper we propose some extensions necessary to enable the specification and description language SDL to become a more appropriate formalism for the design of real-time and embedded systems. The extensions we envisage concern both roles of SDL: first, in order to make SDL a better real-time specification language, allowing to correctly simulate and verify real-time specifications, we propose a set of annotations to express in a flexible way assumptions and assertions on timing issues such as execution durations, communication delays, or periodicity of external inputs; second, in order to make SDL a better real-time design language, several useful real-time programming concepts are added. In particular we propose to extend the basic SDL timer mechanism by introducing new primitives such as cyclic timers, interruptive timers, and access to timer value. All these extensions rely on a clear and powerful time semantics for SDL, which extends the current one, and which is based on timed automata with urgencies.