News


Presented invited paper at PEPM 2011

DiaSuite: A Paradigm-Oriented Software Development Approach

(Presented at PEPM’11, January 24–25, 2011, Austin, Texas, USA.)

Abstract:

We present a software development approach, whose underlying paradigm goes beyond programming. This approach offers a language-based design framework, high-level programming support, a range of verifications, and an abstraction layer over low-level technologies. Our approach is instantiated with the Sense-Compute-Control paradigm, and uniformly integrated into a suite of declarative languages and tools.

 

Accepted paper at FASE 2011

A Step-wise Approach for Integrating QoS throughout Software Development

Stéphanie Gatti, Emilie Balland and Charles Consel

Abstract

When developing real-time systems such as avionics software, it is critical to ensure the performance of these systems. In general, deterministic Quality of Service (QoS) is guaranteed by the execution platform, independently of a particular application. For example, in the avionics domain, the ARINC 664 standard defines a data network that provides deterministic QoS guarantees. However, this strategy falls short of addressing how the QoS requirements of an application get transformed through all development phases and development artifacts. Existing approaches provide support for QoS concerns that only cover part of the development process (e.g., QoS specification languages and monitoring support), preventing QoS requirements traceability.

In this paper, we propose a declarative approach for specifying QoS requirements that covers the complete software development process, from the requirements analysis to the deployment. This step-wise approach is dedicated to control-loop systems such as avionics software. The domain-specific trait of this approach enables the stakeholders to be guided and ensures QoS requirements traceability via a tool-based methodology.

titre
A Step-wise Approach for Integrating QoS throughout Software Development
auteur
Stéphanie Gatti, Emilie Balland, Charles Consel
article
FASE'11: Proceedings of the 14th European Conference on Fundamental Approaches to Software Engineering, Mar 2011, Sarrebruck, Germany. Springer, 6603, pp.217-231, 2011, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00561619/file/fase2011.pdf BibTex

 

Accepted paper at ICSE 2011

Leveraging Architectures to Guide and Verify Development of Sense/Compute/Control Applications

Damien Cassou, Emilie Balland, Charles Consel and Julia Lawall

Abstract

A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification.

In this paper, we explore one point in the design space between abstract and concrete component interaction specifications. We introduce a notion of behavioral contract that expresses the set of allowed interactions between components, describing both data and control-flow constraints. This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications.  We instantiate our approach in an architecture description language for the domain of Sense/Compute/Control applications, and describe associated compilation and verification strategies.

titre
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
auteur
Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall
article
ICSE'11 - 33rd International Conference on Software Engineering, May 2011, Honolulu, HI, United States. ACM, ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, pp.431-440, 2011, 〈10.1145/1985793.1985852〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537789/file/icse2011.pdf BibTex

 
   


Page 7 of 9