2010
DOI: 10.1007/s10270-010-0147-y
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: Component-based software development is a promising approach for controlling the complexity and quality of software systems. Nevertheless, recent advances in quality control techniques do not seem to keep up with the growing complexity of embedded software; embedded systems often consist of dozens to hundreds of software/hardware components that exhibit complex interaction behavior. Unanticipated quality defects in a component can be a major source of system failure. To address this issue, this paper suggests … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
11
0

Year Published

2012
2012
2015
2015

Publication Types

Select...
3
2
1

Relationship

1
5

Authors

Journals

citations
Cited by 9 publications
(11 citation statements)
references
References 36 publications
0
11
0
Order By: Relevance
“…The MARMOT method [9] provides an abstract component model and a process for composing and integrating embedded systems on an abstract level. The MARMOT builds on the principles of KobrA [2].…”
Section: Marmot Methodsmentioning
confidence: 99%
See 4 more Smart Citations
“…The MARMOT method [9] provides an abstract component model and a process for composing and integrating embedded systems on an abstract level. The MARMOT builds on the principles of KobrA [2].…”
Section: Marmot Methodsmentioning
confidence: 99%
“…Second, it supports validation to check whether the concrete representations are in line with the abstract ones. The MARMOT method advocates testing as being the single most important technique for validation [14] and uses model checking for the verification of composition behaviors [9].…”
Section: Fig 1 Conceptual View Of Marmot Componentsmentioning
confidence: 99%
See 3 more Smart Citations