| 41. |
- Sapienza, Gaetana, et al.
(författare)
-
Technical Report : Modelling for hardware and software deployment based on multiple properties selection
- 2013
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This technical report is an appendix to a paper Gaetana Sapienza, Ivica Crnkovic, Tiberiu Seceleanu, Modelling for hardware and software deployment based on multiple properties selection, 2012 The report contains (1) a full specification of a embedded component-based system model using in MultiPart approach, and (2) a full specification of the Wind Turbine controller model generated by Simulink.
|
|
| 42. |
|
|
| 43. |
- Sentilles, Séverine
(författare)
-
Managing Extra-Functional Properties in Component-Based Development of Embedded Systems
- 2012
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- The continuously increasing complexity of embedded systems is a major issue for their development, which, in addition, must also consider specific extra-functional requirements and constraints, such as limited and shared resources, distribution, timing, and dependability. Thus, embedded systems call for development solutions that can efficiently and predictably cope with these issues. Component-based software engineering is a proven paradigm to handle complexity. Yet, for efficiently managing extra-functional properties, a component model needs to have dedicated mechanisms that provide a suitable support for their management. The objective of this thesis is to build this support. We have performed a systematic analysis of existing component models and identified challenges of applying a component-based approach to embedded system development. Based on these challenges we have advanced the current state-of-the-art by developing a new component model, called ProCom, that accommodates the specifics of embedded systems through its well-defined execution semantics and layered structure. Centered around ProCom, we have also developed PRIDE, the ProCom Integrated Development Environment. PRIDE supports the development from early specification to synthesis and deployment, providing the means to aggregate various analysis and verification tools. The main contribution of the thesis is in the design and implementation of an extra-functional property management framework that enables to seamlessly specify, manage and integrate multi-valued context-aware extra-functional properties of component-based embedded systems. Properties can be attached to architectural elements of component models and their values can be compared and refined during the development process. In particular, having multiple context-aware values allows values from different sources to be compared. The proposed concepts have been demonstrated on several representative example systems.
|
|
| 44. |
|
|
| 45. |
- Vulgarakis, Aneta, 1982-
(författare)
-
A Resource-Aware Component Model for Embedded Systems
- 2009
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Embedded systems are microprocessor-based systems that cover a large range of computer systems from ultra small computer-based devices to large systems monitoring and controlling complex processes. The particular constraints that must be met by embedded systems, such as timeliness, resource-use efficiency, short time-to-market and low cost, coupled with the increasing complexity of embedded system software, demand technologies and processes that will tackle these issues. An attractive approach to manage the software complexity, increase productivity, reduce time to market and decrease development costs, lies in the adoption of the component based software engineering (CBSE) paradigm. The specific characteristics of embedded systems lead to important design issues that need to be addressed by a component model. Consequently, a component model for development of embedded systems needs to systematically address extra-functional system properties. The component model should support predictable system development and as such guarantee absence or presence of certain properties. Formal methods can be a suitable solution to guarantee the correctness and reliability of software systems. Following the CBSE spirit, in this thesis we introduce the ProCom component model for development of distributed embedded systems. ProCom is structured in two layers, in order to support both a high-level view of loosely coupled subsystems encapsulating complex functionality, and a low-level view of control loops with restricted functionality. These layers differ from each other in terms of execution model, communication style, synchronization etc., but also in kind of analysis which are suitable. To describe the internal behavior of a component, in a structured way, in this thesis we propose REsource Model for Embedded Systems (REMES) that describes both functional and extra-functional behavior of interacting embedded components. We also formalize the resource-wise properties of interest and show how to analyze such behavioral models against them.
|
|
| 46. |
- Vulgarakis, Aneta, 1982-
(författare)
-
A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems
- 2012
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Managing complexity is an increasing challenge in the development of embedded systems (ES). Some of the factors contributing to the increase in complexity are the growing complexity of hardware and software, and the increased pressure to deliver full-featured products with reduced time-to-market. An attractive approach to manage the software complexity, reduce time-to-market and decrease development costs lies in the adoption of component-based development that has been proven as a successful approach in other domains. Another raising challenge, due to complexity increase, in ES, is predictability, i.e., the ability to anticipate the behavior of a system at run-time. The particular predictability requirements of ES call for a development framework equipped with techniques and tools that can be applied to deal with requirements, such as timing, and resource utilization, already at early-stage of development. Modeling and formal analysis play increasingly important roles in achieving predictability, since they can help us to understand how systems function, validate the design and verify some important properties. In this thesis, we present a resource-aware framework for designing predictable component-based ES. The proposed framework consists of (i) the formally specified ProCom component model that takes into account the characteristics of control-intensive ES, and (ii) the resource-aware timed behavioral language - REMES for modeling and reasoning about components’ and systems’ functional and extra-functional behavior that includes relevant resource types for ES, associated analysis techniques for various resource-wise properties, and a set of associated tools. To demonstrate the potential application of our framework, we present a number of case studies, out of which one is an industrial research prototype, where ProCom and REMES are applied.
|
|
| 47. |
- Wallnau, Kurt C., 1958-
(författare)
-
Predictability By Construction : Working the Architecture/Program Seam
- 2010
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Contemporary software engineering practice overemphasizes the distinction of software design from software implementation, and designer (“software architect”) from implementor (“computer programmer”). In this contemporary meme, software architects are concerned with large-grained system structures, quality attributes that arise from these structures (security, availability, performance, etc.) and quality attribute tradeoff to satisfy conflicting stakeholder needs; programmers are concerned with low–level algorithms and data structures, program functionality, and with satisfying architectural intent. However, software is unique in that design and implementation are not cleanly separable. While architect and programmer may have many different design concerns, they also have many complementary and interacting concerns; their respective design practices must be well–integrated. Instead, contemporary architecture and programming practices are diverging. Architects are likely to regard programming as a routine production activity, while programmers are likely to regard architecture as a routine management activity; communication is hindered by a lack of shared vocabulary or appreciation of mutual concerns. Instead of effective integration, a gap has opened in software architecture and programming practice. The research reported here defines the architecture/program seam (“the Seam”), a region of overlap in software architecture and programming practice. The Seam emphasizes design concerns centered on achieving predictable runtime behavior. For a behavior to be predictable it must be described in a theory that must ultimately be consistent with basic theories of computation, and each such theory must have objective evidence to demonstrate that theory observations correspond to system observations. The validity of a theory will likely depend on invariants that can be expressed, and enforced, by means of theory–induced design rules. A system that satisfies the design rules of a theory is then regarded as having behavior that is predictable by construction with respect to that theory. Predictability by construction reduces uncertainty, and hence risk in design, and helps designers explain complex design decisions. The research reported here also defines prediction–enabled component technology (PECT) as a foundation technology to support the Seam, and demonstrates a prototype on industrial problems in electric grid substation control, industrial robot control, and desktop streaming audio. The prototype PECT extends a basic component technology of pure assembly (“Pin”) with theory extension points (“reasoning frameworks”) that are used to achieve predictability by construction. Reasoning frameworks for real–time performance and temporal–logic model checking have been developed, with statistical confidence intervals providing evidence of predictive quality for the former, and code–embeddable proof certificates providing evidence for the latter. Finally, the research reported here defines the Seam itself as inducing a new kind of evolutionary design problem, whose solutions require the integration of programming language theory, design theory, specialized theories of system behavior and deep systems expertise.
|
|
| 48. |
- Åkerholm, Mikael, et al.
(författare)
-
A Model for Reuse and Optimization of Embedded Software Components
- 2007
-
Ingår i: Proceedings of the International Conference on Information Technology Interfaces, ITI. - 9789537138097 ; , s. 567-572
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- In software engineering for embedded systems generic reusable software components must often be discarded in favor of using resource optimized solutions. In this paper we outline a modelthat enables the utilization of component-based principles even for embedded systems with high optimization demands. The model supports the creation of component variants optimized for different scenarios, through the introduction of an entrance preparation step and an ending verification step into the component design process. These activities are proposed to be supported by tools working on metadata associated with components, where the metadata is possible to automatically retrieve from many development tools. This paper outlines the theoretical model that is the basis for our current realization work.
|
|
| 49. |
- Åkerholm, Mikael, et al.
(författare)
-
Introducing Component Based Software Engineering at an Embedded Systems Sub-Contractor
- 2008
-
Ingår i: PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS. - 9780769532769 ; , s. 59-67
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Attractive benefits with successful implementation of component-based principles include managing complexity, reduction of time-to-market, increased quality, and reusability. Deployment of component-based development is however not simple - it depends on many strategic, technical, and business decisions. In this paper we report experiences from our attempts with finding a correct implementation of component-based principles for the business situation of sub-contractors of embedded systems. Findings related to suitable component models, component technologies, and component management are presented. Overall the results confirm the suitability of component-based principles for the domain, but also show the need (and potential) in further development of CBSE theory and technology for embedded systems.
|
|
| 50. |
- Åkerholm, Mikael, 1978-
(författare)
-
Reusability of Software Components in the Vehicular Domain
- 2008
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Component-based software engineering is concerned with enabling software to be assembled through systematic (re)use of carefully built software elements denoted components. In this thesis we describe how reusability benefits of component-based software engineering can be utilized for organizations acting in the vehicular domain. Attractive benefits with this approach include managing complexity through an architecture divided in components and avoidance of large monolithic structures; reduction of time-to-market since applications ideally can be assembled from pre-existing components; increased quality when applications are built from components already proven in use; and cost amortization through investment payoff by each reuse of a component. Successful deployment of component-based development is however not simple - it depends on many strategic, technical, and business decisions. Furthermore the domain of vehicular systems represents a class of systems where component-based principles have had a limited success, in comparison to the domain of PC applications where the approach has emerged. The major reason to this is a number of important qualities that leaven all through the software life-cycle, e.g., safety, reliability, timing, and resource efficiency. We have developed a prototype component technology tailored for the vehicular domain. The technology is based on a proposed component-model defining how component-based applications should be built and modelled in the context of vehicular systems. Our solution includes analysis tools and mechanisms supporting the process of maintaining important quality attributes in the life-cycle of software components. Furthermore, we have used the technology to develop a typical vehicular application, demonstrated its integration with a component repository for vehicular components, and also studied real cases to evaluate our results in cooperation with industry. The results confirm the suitability of component-based principles for the domain, and also show the potential in further development of component technologies for vehicular systems.
|
|
