Describing and using non functional aspects in component based applications
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Components for embedded software: the PECOS approach
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Synchronization Skew: A QoS Measurement Study
LCN '99 Proceedings of the 24th Annual IEEE Conference on Local Computer Networks
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A formal framework for verifying distributed embedded systems based on abstraction methods
International Journal on Software Tools for Technology Transfer (STTT)
The FlightGear flight simulator
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
On-line Monitoring of Real Time Applications for Early Error Detection
PRDC '08 Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing
Formal Specification and Analysis of Timing Properties in Software Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Improved Feedback for Architectural Performance Prediction Using Software Cartography Visualizations
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Time and Space Partitioning in Spacecraft Avionics
SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
A generative programming approach to developing pervasive computing systems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
A domain-specific approach to architecturing error handling in pervasive computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Polyhedra-Based approach for incremental validation of real-time systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A qos driven development process model for component-based software systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Proceedings of the 33rd International Conference on Software Engineering
Architecturing conflict handling of pervasive computing resources
Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
DiaSuite: A tool suite to develop Sense/Compute/Control applications
Science of Computer Programming
| Hi-index | 0.00 |
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 domainspecific trait of this approach enables the stakeholders to be guided and ensures QoS requirements traceability via a tool-based methodology.