10 search results - page 1 / 2 » Model-Based Tool-Chain Infrastructure for Automated Analysis... |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
ECBS
2007
IEEE
13 years 10 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
ASWSD
2004
Springer
13 years 9 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
GI
2005
Springer
13 years 9 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
SIES
2007
IEEE
13 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...