Name
Abstract | ||
|---|---|---|
Software that impact our lives are embedded in the environment in which we act and hence our security and safety are dependent on its flawless functioning. An assessment of dependability of such embedded software systems includes an assessment of the process to develop the system and the system’s observable properties. Dependability criteria depend on the domain in which the software system is to serve. Thus, it should be formulated from domain concepts. Concepts in the domain should be analyzed to construct components. A component of the system may function as expected in one context of application and may fail to function as expected in another context. The system is dependable if the services resulting from every interaction between system components satisfy the dependability criteria in every context of operation. This paper explores the roles of concept analysis and context in determining dependability criteria at the domain level, the role of domain models in an automatic derivation of components and component-based systems, and the integrated role of context and components in the construction of context-aware and service-oriented systems. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1007/978-3-642-11928-6_3 | ICFCA |
Keywords | Field | DocType |
domain model,satisfiability,embedded software,software development,concept analysis,software systems | Domain analysis,Discrete mathematics,Dependability,Domain engineering,Feature-oriented domain analysis,Software engineering,Computer science,Software system,Context model,Real-time computing,Component-based software engineering,Domain model | Conference |
Volume | Issue | ISSN |
5986 LNAI | null | 0302-9743 |
ISBN | Citations | PageRank |
3-642-11927-1 | 0 | 0.34 |
References | Authors | |
8 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Vasu Alagar | 1 | 62 | 6.57 |
| Mubarak Mohammad | 2 | 118 | 10.64 |
| Kaiyu Wan | 3 | 0 | 0.34 |