Papers by Séverine Sentilles
Automated Software Engineering, 2008
In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces ... more In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces several tools: a tool for designing component-based systems and components, modeling and predicting certain run-time properties, such as timing properties, and transforming the components to real-time execution elements. Save-IDE is specialized for the domain of dependable embedded systems, which in addition to standard design tools requires
International Conference on Software Engineering, 2009
The paper presents Save-IDE, an Integrated Develop- ment Environment for the development of compo... more The paper presents Save-IDE, an Integrated Develop- ment Environment for the development of component-based embedded systems. Save-IDE supports efficient develop- ment of dependable embedded systems by providing tools for design of embedded software systems using a dedicated component model, formal specification and analysis of com- ponent and system behaviors already in early development phases, and a fully automated transformation of
When component-based development is applied to distributed embedded systems, which are often safe... more When component-based development is applied to distributed embedded systems, which are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extrafunctional properties can be derived at design-time. Preferably, analysis should be performed in early development phases, where the cost of modifying the design is lower. Centered on an example application from the automation domain, we show how a component model specifically intended for embedded systems can be combined with a language for high-level formal behavior modeling. This permits analysis of system properties, while also supporting reuse of behavioral models when components are reused.
Component Allocation Optimization for Heterogeneous CPU-GPU Embedded Systems
2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014
ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings, 2008
In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces ... more In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces several tools: a tool for designing component-based systems and components, modeling and predicting certain run-time properties, such as timing properties, and transforming the components to real-time execution elements. Save-IDE is specialized for the domain of dependable embedded systems, which in addition to standard design tools requires tool support for analysis and verification of particular properties of such systems.
Proceedings - 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, 2010
When component-based development is applied to distributed embedded systems, which are often safe... more When component-based development is applied to distributed embedded systems, which are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extrafunctional properties can be derived at design-time. Preferably, analysis should be performed in early development phases, where the cost of modifying the design is lower. Centered on an example application from the automation domain, we show how a component model specifically intended for embedded systems can be combined with a language for high-level formal behavior modeling. This permits analysis of system properties, while also supporting reuse of behavioral models when components are reused.
Energy management in embedded systems: Towards a taxonomy
2012 1st International Workshop on Green and Sustainable Software, GREENS 2012 - Proceedings, 2012
Energy is an important constraint in embedded systems, and there exists a huge expertise in this ... more Energy is an important constraint in embedded systems, and there exists a huge expertise in this domain about monitoring, managing and optimizing energy consumption in the computer systems. The aim of this paper is to present the energy management addressed in the research literature. Based on a systematic review, the paper presents a taxonomy of energy consumption and management in
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering - CBSE '11, 2011
It is nowadays widely accepted that extra-functional properties (EFP) are as important as functio... more It is nowadays widely accepted that extra-functional properties (EFP) are as important as functional properties for system correctness, especially when considering systems such as safety-critical embedded systems. The criticality and resource-constrained nature of these systems necessitate to be able to predict tight and accurate extra-functional property values all along the development, from early estimations to measurements. We use a hierarchical component model which allows to implement components as an assembly of subcomponent instances. The same component can be instantiated in several assemblies, i.e. in different usage contexts. Many EFP values are sensitive to the usage context and knowing information about the enclosing assembly enables refining the values of the properties on the subcomponents. Such refinement is usually not supported and the consistency between refined values and the original ones is not ensured. This paper presents the concepts and mechanisms to support EFP refinement in hierarchical component models with explicit property inheritance and refinement policies which formally define consistency constraints between refined value and the original one. These policies are interpreted and ensured for all actors and in all workspaces. The paper also describes the related experiments performed on the ProCom component model.
2011 Ninth Working IEEE/IFIP Conference on Software Architecture, 2011
Settling down the software architecture for embedded system is a complex and time consuming task.... more Settling down the software architecture for embedded system is a complex and time consuming task. Specific concerns that are generally issued from implementation details must be captured in the software architecture and assessed to ensure system correctness. The matter is further complicated by the inherent complexity and heterogeneity of the targeted systems, platforms and concerns. In addition, tools capable of conjointly catering for the complete design-verificationdeployment cycle, extra-functional properties and reuse are currently lacking. To address this, we have developed Pride, an integrated development environment for component-based development of embedded systems. Pride is based on an architecture relying on components with well-defined semantics that serve as the central development entity, and as means to support and aggregate various analysis and verification techniques throughout the development -from early specification to synthesis and deployment. Pride also provides generic support for integrating extra-functional properties into architectural definitions.
Flexible Semantic-Preserving Flattening of Hierarchical Component Models
2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011
IEEE Transactions on Software Engineering, 2000
In the last decade a large number of different software component models have been developed, wit... more In the last decade a large number of different software component models have been developed, with different aims and using different principles and technologies. This has resulted in a number of models which have many similarities, but also principal differences, and in many cases unclear concepts. Component-based development has not succeeded in providing standard principles, as has, for example, object-oriented development. In order to increase the understanding of the concepts, and to differentiate component models more easily, this paper identifies, discusses and characterises fundamental principles of component models, and provides a Component Model Classification Framework based on these principles. Further, the paper classifies a large number of component models using this framework.
PRIDE
DICES workshop@ …, 2010
This paper describes PRIDE, an integrated development environment for efficient component-based s... more This paper describes PRIDE, an integrated development environment for efficient component-based software development of embedded systems. PRIDE uses reusable software components as the central development units, and as a means to support and ...
DICES technical report Requirements on the system design phase for PROGRESS-IDE
... Tomá Bure, Jan Carlson, Ivica Crnković and Séverine Sentilles from MdH are responsible for ... more ... Tomá Bure, Jan Carlson, Ivica Crnković and Séverine Sentilles from MdH are responsible for ProCom, overall architectural design of the environment and ... The first part is a PROGRESS-IDE skeleton done by Aleksandar M. Petkov1. This skeleton represents the basis on which ...
The complexity of software and electronics in vehicular systems has increased significantly over ... more The complexity of software and electronics in vehicular systems has increased significantly over last few yearsup to the point when it is difficult to manage it with existing development methods. In this paper we aim at using components for managing the complexity in vehicular systems. Compared to other approaches, the distinguishing feature of our work is using and benefiting from components throughout the whole development process (from early design to development and deployment). Based on the elaboration of the specifics of vehicular systems (resource constraints, real-time requirements, hard demands on reliability), the paper identifies concerns that need to be addressed by a component model for this domain. It also outlines basic features and characteristics of such a component model and discusses how relevant existing formalisms and component models relate to it and how they could be reused within the proposed approach.
Connecting ProCom and REMES
In this paper we propose to use components for managing the increasing complexity in modern vehic... more In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work is using and benefiting from components throughout the development process from early design to development and deployment, and an explicit separation of concerns at different levels of granularity. Based on the elaboration of the specifics of vehicular systems (resource constraints, real-time requirements, hard demands on reliability), the paper identifies concerns that need to be addressed by a component model for this domain, and describes a realization of such a component model.
A Model-Based Framework for Designing Embedded Real-Time Systems
Collaboration between Industry and Research for the Introduction of Model-Driven Software Engineering in a Master Program
Energy management in embedded systems: Towards a taxonomy
Energy is an important constraint in embedded systems, and there exists a huge expertise in this ... more Energy is an important constraint in embedded systems, and there exists a huge expertise in this domain about monitoring, managing and optimizing energy consumption in the computer systems. The aim of this paper is to present the energy management addressed in the research literature. Based on a systematic review, the paper presents a taxonomy of energy consumption and management in
Progress Component Model Reference Manual-version 0.5
Uploads
Papers by Séverine Sentilles