Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(11)
Development Methodology
Development Process
Domain Specificity
Generic Programming
qos guarantee
Quality of Service
Requirement Analysis
Requirements Traceability
Software Development
Software Development Process
Real Time Systems
Subscribe
Academic
Publications
A Step-Wise Approach for Integrating QoS throughout Software Development
Edit
A Step-Wise Approach for Integrating QoS throughout Software Development
(
Citations: 3
)
BibTex
|
RIS
|
RefWorks
Download
Stéphanie Gatti
,
Emilie Balland
,
Charles Consel
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 artifacts. Existing approaches provide support for QoS concerns that only cover part of the development process, preventing 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.
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 217-231, 2011
DOI:
10.1007/978-3-642-19811-3_16
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.springerlink.com
)
(
www.springerlink.com
)
(
www.informatik.uni-trier.de
)
(
dx.doi.org
)
More »
Citation Context
(3)
...Work is also in progress to add and compose non-functional layers (e.g., fault-tolerance, safety and security) on top of the SCC architectural pattern and have automatically generated support [
6
, 15]...
Damien Cassou
,
et al.
Leveraging software architectures to guide and verify the development ...
...We have investigated this idea by extending DiaSpec with nonfunctional declarations to address error handling [8], component flow behavior [3], and quality of service constraints [
6
]...
Charles Consel
.
DiaSuite: a paradigm-oriented software development approach
...This architectural pattern goes beyond the pervasive computing domain and enables high-level programming support and a range of verifications [3,4,
7
]...
Henner Jakob
,
et al.
Architecturing Conflict Handling of Pervasive Computing Resources
References
(20)
Quality of Service Support in Development of Distributed Systems
(
Citations: 88
)
Unknown
Published in 2001.
Formal Specification and Analysis of Timing Properties in Software Systems
(
Citations: 4
)
Musab Alturki
,
Dinakar Dhurjati
,
Dachuan Yu
,
Ajay Chander
,
Hiroshi Inamura
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 262-277, 2009
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice
(
Citations: 36
)
Antonia Bertolino
,
Raffaela Mirandola
Conference:
Component-Based Software Engineering - CBSE
, pp. 233-248, 2004
A formal framework for verifying distributed embedded systems based on abstraction methods
(
Citations: 5
)
Francois Carcenac
,
Frédéric Boniol
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 8, no. 6, pp. 471-484, 2006
A generative programming approach to developing pervasive computing systems
(
Citations: 11
)
Damien Cassou
,
Benjamin Bertran
,
Nicolas Loriant
,
Charles Consel
Conference:
Generative Programming and Component Engineering
, pp. 137-146, 2009
Order by:
Citations
(3)
Leveraging software architectures to guide and verify the development of sense/compute/control applications
(
Citations: 2
)
Damien Cassou
,
Emilie Balland
,
Charles Consel
,
Julia L. Lawall
Conference:
International Conference on Software Engineering - ICSE
, pp. 431-440, 2011
DiaSuite: a paradigm-oriented software development approach
Charles Consel
Conference:
Partial Evaluation and Semantic-Based Program Manipulation - PEPM
, pp. 77-78, 2011
Architecturing Conflict Handling of Pervasive Computing Resources
Henner Jakob
,
Charles Consel
,
Nicolas Loriant