[图书][B] Embedded Systems Handbook 2-Volume Set
R Zurawski - 2018 - taylorfrancis.com
During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …
development, implementations of new technologies, and deployments of actual solutions …
[图书][B] Embedded Systems Handbook: Embedded systems design and verification
R Zurawski - 2018 - taylorfrancis.com
Considered a standard industry resource, the Embedded Systems Handbook provided
researchers and technicians with the authoritative information needed to launch a wealth of …
researchers and technicians with the authoritative information needed to launch a wealth of …
Expression of time and duration constraints in SDL
S Graf - International Workshop on System Analysis and …, 2002 - Springer
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 …
real-time system design and classify them into two categories, those needed for modelling of …
A real-time profile for UML and how to adapt it to SDL
This paper presents work of the IST project OMEGA, where we have defined a UML profile
for real-time that is compatible with the Profile for Performance, Scheduling and Real-time …
for real-time that is compatible with the Profile for Performance, Scheduling and Real-time …
An object-oriented methodology for embedded real-time systems
The usage of object-oriented methodologies in conjunction with formal description
techniques has arisen as a promising way of dealing with the increasing complexity of …
techniques has arisen as a promising way of dealing with the increasing complexity of …
Specification and simulation of real time concurrent systems using standard SDL tools
Abstract The Specification and Description Language (SDL) and its supporting CASE tools
have a major potential for the development of real-time systems. Unfortunately, SDL does …
have a major potential for the development of real-time systems. Unfortunately, SDL does …
Real-time Tasks in SDL
D Christmann, R Gotzhein - … Workshop on System Analysis and Modeling, 2012 - Springer
SDL is a formal design language for distributed systems that is also promoted for real-time
systems. To improve its real-time expressiveness, several language extensions have been …
systems. To improve its real-time expressiveness, several language extensions have been …
Components and contracts for embedded software
S Li, XJ Li, J Wu - … and Workshops on the Engineering of …, 2005 - ieeexplore.ieee.org
Component-based development is a key technology in the development of software for
modern embedded systems. However, components can be difficult to deploy in embedded …
modern embedded systems. However, components can be difficult to deploy in embedded …
[PDF][PDF] Distributed Real-time Systems-Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL
D Christmann - 2015 - kluedo.ub.rptu.de
In a networked system, the communication system is indispensable but often the weakest
link wrt performance and reliability. This, particularly, holds for wireless communication …
link wrt performance and reliability. This, particularly, holds for wireless communication …
RMTP2: Validating the Interval timed extension for SDL with an industrial-size multicast protocol
B Parreaux, D Vincent, G Babonneau - … Stuttgart, Germany, July 1–4, 2003 …, 2003 - Springer
Abstract The European IST project Interval (1999–2002) focused on coherent timed
extensions for the ITU-T modeling languages SDL, MSC, TTCN. In the case of SDL, a set of …
extensions for the ITU-T modeling languages SDL, MSC, TTCN. In the case of SDL, a set of …