Sciweavers

29143 search results - page 264 / 5829
» A Sortation System Model
Sort
View
FDL
2006
IEEE
16 years 18 days ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
WORDS
2003
IEEE
15 years 11 months ago
Extending UML towards a Useful OO-Language for Modeling Dependability Features
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
M. Dal Cin
RTCSA
2006
IEEE
16 years 16 days ago
Automatic Generation and Validation of Models of Legacy Software
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
Joel Huselius, Johan Andersson, Hans Hansson, Sasi...
LCTRTS
2010
Springer
16 years 1 months ago
Semi-automatic derivation of timing models for WCET analysis
Marc Schlickling, Markus Pister