Name
Abstract | ||
|---|---|---|
Embedded Systems, by their nature, constitute a meeting point for communities with extremely different background. In particular, the high demands for quality and reliability for embedded systems have led to complementary quality assurance efforts: hardware engineers have developed techniques for dynamic verification in terms of co-simulation, which, in particular, addresses the different nature of hardware and software components. Thus these techniques are tailored for the transactional level, which comprises dedicated models for the hardware and the software parts. On the other hand, there is a bulk of work on formal verification techniques, which typically address higher levels of abstraction. These techniques are exhaustive in the sense that they cover all the infinite possible paths of their models, however at the price of neglecting many of the low-level aspects treated by co-simulation. It is the goal of this paper to increase the mutual understanding between these communities and to animate research at this exciting borderline. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1007/s10766-005-8911-2 | International Journal of Parallel Programming |
Keywords | Field | DocType |
embedded systems,validation,comparative survey,dynamic verification,exciting borderline,functional test.,complementary quality assurance effort,software component,software part,different background,formal verification technique,different nature,hardware engineer,embedded system,formal verification,functional testing,functional test,quality assurance | Computer science,Intelligent verification,Parallel computing,Theoretical computer science,Software,Formal methods,Component-based software engineering,Software verification and validation,High-level verification,Software verification,Formal verification,Embedded system | Journal |
Volume | Issue | ISSN |
33 | 6 | 0885-7458 |
Citations | PageRank | References |
3 | 0.49 | 42 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mirko Loghi | 1 | 218 | 17.83 |
| Tiziana Margaria | 2 | 2098 | 247.17 |
| Graziano Pravadelli | 3 | 475 | 48.70 |
| Bernhard Steffen | 4 | 4239 | 423.70 |