332 search results - page 2 / 67 » Protocol Modelling Semantics for Embedded Systems |
RTAS
2006
IEEE
13 years 11 months ago
2006
IEEE
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
EWSA
2004
Springer
13 years 10 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...