5 search results - page 1 / 1 » Synthesis of timed behavior from scenarios in the Fujaba Rea... |
ICSE
2009
IEEE-ACM
13 years 10 months ago
2009
IEEE-ACM
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process add...
DAGSTUHL
2003
13 years 6 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
SCESM
2006
ACM
13 years 11 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
RTCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
PRESENCE
2006
13 years 5 months ago
2006
The generation of multimodal virtual environments for surgical training is complicated by the necessity to develop heterogeneous simulation scenarios such as surgical incision, ca...