746 search results - page 40 / 150 » Formal Analysis of UML-Based Designs |
122
click to vote
ISOLA
2010
Springer
15 years 8 days ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
104
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
94
Voted
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
104
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...