1456 search results - page 1 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
ANSS
1999
IEEE
13 years 9 months ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
CODES
2001
IEEE
13 years 9 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
ATVA
2008
Springer
13 years 7 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
ICSE
2009
IEEE-ACM
14 years 3 days ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
LCTRTS
2010
Springer
13 years 3 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...