Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Theoretical Computer Science
Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Computer
Making Components Contract Aware
Computer
The Real-Time Specification for Java
Computer
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
IEEE Transactions on Software Engineering
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Distributed Component System Based on Architecture Description: The SOFA Experience
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Kronos: A Model-Checking Tool for Real-Time Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Semantic-based weaving of scenarios
Proceedings of the 5th international conference on Aspect-oriented software development
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Using Model-Driven Engineering to generate QoS Monitors from a formal specification
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Aspects and components in real-time system development: Towards reconfigurable and reusable software
Journal of Embedded Computing - Real-Time and Embedded Computing Systems
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
Model driven language engineering with kermeta
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
| Hi-index | 0.00 |
In this paper we describe a technique for specifying time related properties on traditional software components. We apply the separation of concerns paradigm to allow independent specification of timing and to integrate timechecking specialized tool support into conventional software design processes. We aim at helping the designer to specify time contracts and at simplifying the introduction of time properties in the component behaviour description. We propose to handle timing issues in a separate and specific design activity, in order to provide means of formal computation of time properties for component assemblies without modifying in depth existing design processes.