| 1. |
- Aysan, Hüseyin, et al.
(författare)
-
Error Modeling in Dependable Component-based Systems
- 2008
-
Ingår i: Proceedings - International Computer Software and Applications Conference. - 9780769532622 ; , s. 1309-1314
-
Konferensbidrag (refereegranskat)abstract
- Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and potential for achieving high quality of components by virtue of reuse. However, for systems with dependability concerns, such as real-time systems, a major challenge in using CBD consists of predicting dependability attributes, or providing dependability assertions, based on the individual component properties and architectural aspects. In this paper, we propose a framework which aims to address this challenge. Specifically, we present a revised error classification together with error propagation aspects, and briefly sketch how to compose errormodels within the context of Component-Based Systems (CBS). The ultimate goal is to perform the analysis on a given CBS, in order to find bottle-necks in achieving dependability requirements and to provide guidelines to the designer on the usage of appropriate error detection and fault tolerance mechanisms.
|
|
| 2. |
- Behnam, Moris, et al.
(författare)
-
An overrun method to support composition of semi-independent real-time components
- 2008
-
Ingår i: Proceedings - International Computer Software and Applications Conference. - 9780769532622 ; , s. 1347-1352
-
Konferensbidrag (refereegranskat)abstract
- Engineers of embedded software systems rely on efficient design techniques and tools along with efficient run-time support. In the design of complex embedded real-time systems, the Hierarchical Scheduling Framework (HSF) has been introduced as a design-time framework enabling compositional schedulability analysis of embedded software systems with real-time properties. Moreover, the HSF provides a run-time framework guaranteeing that these non-functional requirements are met. In this paper a system consists of a number of semi-independent components called subsystems, and these subsystems are allowed to share logical resources. The HSF makes sure that the individual subsystems respect their allocated CPU budgets. However, as semi-independent sub-systems share logical resources, extra complexity is introduced. Specifically, the contribution of this paper is a novel method to allow for budget overruns; a common scenario when a subsystem utilizes shared logical resources. This proposed method is not only more resource efficient than existing methods, but it is also more appropriate for supporting composability of independently developed real-time subsystems.
|
|
| 3. |
- Gallina, Barbara, et al.
(författare)
-
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications
- 2008
-
Ingår i: Proceedings - International Computer Software and Applications Conference, 2008. - 9780769532622 ; , s. 739-744
-
Konferensbidrag (refereegranskat)abstract
- Flexibility, autonomy, distribution and openness of the modern computing systems are properties which expand the spectrum of interactions possible among system components. Moreover these properties tend to impose more rigorous quality requirements on software development. To ensure the quality of distributed applications two notions have already been introduced: concurrency control and fault-tolerance. These notions are present and refined in so-called advanced transactional frameworks. All these frameworks have different interpretations of these two notions because they try to solve different issues. Engineering from scratch such aframework is a complex task which will achieve a low level result, if not supported by a quality oriented approach. This paper solves this issue by introducing a product line perspective founded on the semantic analysis of the variabilities and commonalities of the ACID (Atomicity, Isolation, Durability and Consistency) properties. Varying and composing ACID properties in a disciplined way is in our opinion a key issue to increasequality and quality reuse in the development of advanced transactional frameworks. For this our approach allows the elicitation of the requirements of the advanced transactional frameworks product line using the "DRET" template.
|
|
| 4. |
- Hoang, Natacha, et al.
(författare)
-
Valentine : a dynamic and adaptive operating system for wireless sensor networks
- 2008
-
Ingår i: Proceedings of the 1st IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS 2008), Turku, Finland. - 9780769532622 ; , s. 1297-1302
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we present an approach allowing dynamic reconfiguration in wireless sensor networks (WSNs). This proposition is based on a twofold work. First we propose Valentine, a new component-based operating system (OS) for WSNs, allowing dynamic administration of components at runtime. This OS will be generated from the Think framework. Second, we discuss and present a specific mechanism for dynamic reconfiguration in the constrained context of WSNs.
|
|
| 5. |
- Lennerholt, Christian, et al.
(författare)
-
Architectural issues in opening up the advantages of open source in product development companies
- 2008
-
Ingår i: Proceedings. - : IEEE Computer Society. - 9780769532622 ; , s. 1226-1227
-
Konferensbidrag (refereegranskat)abstract
- Many product development companies are seeking to remain competitive by reconsidering their development strategies, realising the importance of focusing effort on software innovation. Open Source Software is seen by an increasing number of people as a feasible approach to utilising valuable commodity software development and maintenance, allowing them to concentrating on differentiated software. However, such a change presents new challenges. This paper proposes a three-level approach to preparing a company for leveraging the advantages of Open Source Software. The proposal is motivated through a case study in a company which could be seen as an examplar of the current state of the art in Open Source adoption in complex domains.
|
|
| 6. |
- Nemati, Farhang, Senior Lecturer, 1975-, et al.
(författare)
-
Validation of Temporal Simulation Models of Complex Real-Time Systems
- 2008
-
Ingår i: 2008 32nd Annual IEEE International Computer Software and Applications Conference. - : IEEE. - 9780769532622 ; , s. 1335-1340
-
Konferensbidrag (refereegranskat)abstract
- Model based analysis has the potential to facilitate maintenance of complex real-time systems, as it allows for impact analysis with respect to the systems' temporal behavior. Model based analysis of temporal behavior of a legacy real-time system has also the potential to support migration toward component based system. However, since most software systems today have been developed in a traditional, code oriented manner, sufficiently detailed models are typically not available. To apply model based analysis on these systems, models have to be extracted from their implementation and observed run-time behavior. This requires methods for model validation. The paper proposes a novel method for model validation and presents a framework for evaluation of model validation methods, which will be used to evaluate the proposed method. The method is targeting temporal models extracted from complex real-time systems.
|
|
| 7. |
- Pei Breivold, Hongyu, et al.
(författare)
-
Analyzing Software Evolvability
- 2008
-
Ingår i: Proceedings - International Computer Software and Applications Conference. - 9780769532622 ; , s. 327-330
-
Konferensbidrag (refereegranskat)abstract
- Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into account change accommodations. This is in particular true for long-lived systems in which changes go beyond maintainability. For such systems, there is a need to address evolvability explicitly during the entire lifecycle. Nevertheless, there is a lack of a model that can be used for analyzing, evaluating and comparing software systems in terms of evolvability. In this paper, we describe the initial establishment of an evolvability model as a framework for analysis of software evolvability. We motivate and exemplify the model through an industrial case study of a software-intensive automation system.
|
|
| 8. |
- Vulgarakis, Aneta, 1982-, et al.
(författare)
-
Embedded Systems Resources: Views on Modeling and Analysis
- 2008
-
Ingår i: Proceedings - International Computer Software and Applications Conference. - 9780769532622 ; , s. 1321-1328
-
Konferensbidrag (refereegranskat)abstract
- The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of the system's resource consumption, starting at early design stages. In this paper, we glance through several representative frameworks that model and estimate resource usage of embedded systems, pointing out advantages and limitations. In the end, we describe our own view on how to model and carry out formal analysis of embedded resources, along with developing the system.
|
|
