PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Alloy: A New Technology for Software Modelling
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A behavioral type system and its application in Ptolemy II
Formal Aspects of Computing
System level design paradigms: Platform-based design and communication synthesis
Proceedings of the 41st annual Design Automation Conference
Compositional specification of behavioral semantics
Proceedings of the conference on Design, automation and test in Europe
Design and Semantics of a Decentralized Authorization Language
CSF '07 Proceedings of the 20th IEEE Computer Security Foundations Symposium
Feature Diagrams and Logics: There and Back Again
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
DKAL: Distributed-Knowledge Authorization Language
CSF '08 Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium
Modeling with the Timing Definition Language (TDL)
Model-Driven Development of Reliable Automotive Services
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Formal Definition of MOF 2.0 Metamodel Components and Composition
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Towards a framework for estimating system NFRs on behavioral models
Knowledge-Based Systems
Components, platforms and possibilities: towards generic automation for MDA
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Reusing model transformations while preserving properties
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Model-based energy optimization of automotive control systems
Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-locally impact admissible platform-mappings and design spaces. In this paper we present a novel and formal approach for specifying non-functional requirements as con straint-systems over the space of models. Our approach, based on structured logic programming, allows interacting requirements to be specified independently from each other and composed together. Correct-by- construction operators eliminate some composition mistakes. Our approach is implemented in our formal modeling tool FORMULA , which can analyze the impacts of interacting non-functional requirements on platform mappings and design spaces.