Modeling Timing Requirements in Problem Frames Using CCSL

Chen Xiaohong 1 Jing Liu 1 Frédéric Mallet 2 Zhi Jin 3
1 Shanghai Key Laboratory of Trustworthy Computing
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
3 Ministry of Education of China
Abstract : As the embedded systems are becoming more and more complex, requirements engineering approaches are needed for modeling requirements, especially the timing requirements. Among various requirements engineering approaches, the Problem Frames(PF) approach is particularly useful in requirements modeling for the embedded systems due to the characteristic that PF pays special attention to the environment entities that will interact with the to-be software. However, no concern is given on timing requirements of PF at present. This paper studies how to add timing constraints on problem domains in PF. Our approach is to integrate the problem representation frame in PF with the timing representation mechanism of MARTE(Modeling and Analysis of Real Time and Embedded systems). A unified problem frame modeling process integrated with timing constraints is provided, and problem frame requirements with timing constraints expressed by MARTE/CCSL (Clock Constraint Specification Language) and clock construction operators are obtained.
Keywords : CCSL Problem Frames approach embedded systems requirements engineering timing requirements
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
https://hal.inria.fr/hal-00809644
Contributor : Frédéric Mallet <>
Submitted on : Thursday, May 2, 2019 - 4:14:41 PM
Last modification on : Tuesday, June 25, 2019 - 1:26:16 AM
Long-term archiving on : Monday, September 30, 2019 - 11:02:44 PM

File

Modeling_Timing_Requirements.p...
Files produced by the author(s)

Identifiers

Collections

UNICE | I3S | INRIA-ROCQ | INRIA | UNIV-COTEDAZUR

Citation

Chen Xiaohong, Jing Liu, Frédéric Mallet, Zhi Jin. Modeling Timing Requirements in Problem Frames Using CCSL. APSEC 2011 - 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.381-388, ⟨10.1109/APSEC.2011.30⟩. ⟨hal-00809644⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

407

Files downloads

468

Contact


archive-ouverte@inria.fr