Sciweavers

808 search results - page 13 / 162
» Modeling and Analysis of Real-Time and Embedded Systems
Sort
View
104
Voted
FM
2006
Springer
97views Formal Methods» more  FM 2006»
15 years 5 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
63
Voted
DAGSTUHL
2007
15 years 3 months ago
07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems
Holger Giese, Gabor Karsai, Edward Lee, Bernhard R...
ENTCS
2006
231views more  ENTCS 2006»
15 years 1 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
105
Voted
WORDS
2002
IEEE
15 years 6 months ago
Evaluating UMl Extensions for Modeling Real-Time Systems
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
Lutz Bichler, Ansgar Radermacher, Andy Schürr