1676 search results - page 151 / 336 » Formal System Development with KIV |
161
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
150
click to vote
HYBRID
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
195
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
194
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
129
click to vote
DATE
2005
IEEE
16 years 15 hour ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...