[HTML][HTML] Correctness issues on MARTE/CCSL constraints
Abstract The UML Profile for Modeling and Analysis of Real-Time and Embedded systems
promises a general modeling framework to design and analyze systems. Lots of works have …
promises a general modeling framework to design and analyze systems. Lots of works have …
[HTML][HTML] pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in cyber physical systems
Abstract Cyber-Physical Systems (CPSs) are networks of heterogeneous embedded
systems immersed within a physical environment, thus combining discrete and continuous …
systems immersed within a physical environment, thus combining discrete and continuous …
[HTML][HTML] Periodic scheduling for MARTE/CCSL: Theory and practice
The UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)
is used to design and analyze real-time and embedded systems. The Clock Constraint …
is used to design and analyze real-time and embedded systems. The Clock Constraint …
Real-Time CCSL: application to the mechanical lung ventilator
P Tokariev, F Mallet - International Conference on Rigorous State-Based …, 2024 - Springer
This case-study paper reports on our experience in modelling the mechanical lung ventilator
using the Clock Constraint Specification Language (CCSL). CCSL captures the causal and …
using the Clock Constraint Specification Language (CCSL). CCSL captures the causal and …
Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems
M Zhang, Y Ying - Proceedings of the 18th ACM SIGPLAN/SIGBED …, 2017 - dl.acm.org
The Clock Constraint Specification Language (CCSL) is a formal language companion to
MARTE (shorthand for Modeling and Analysis of Real-Time and Embedded systems), a …
MARTE (shorthand for Modeling and Analysis of Real-Time and Embedded systems), a …
SMT-based bounded schedulability analysis of the clock constraint specification language
Abstract The Clock Constraint Specification Language (ccsl) is a formalism for specifying
logical-time constraints on events for the design of real-time embedded systems. A central …
logical-time constraints on events for the design of real-time embedded systems. A central …
Probabilistic verification of timing constraints in automotive systems using UPPAAL-SMC
Modeling and analysis of non-functional properties, such as timing constraints, is crucial in
automotive real-time embedded systems. East-adl is a domain specific architectural …
automotive real-time embedded systems. East-adl is a domain specific architectural …
Multiclock constraint system modelling and verification for ensuring cooperative autonomous driving safety
J Wang, Z Huang, X Huang, Y Zhu… - Journal of advanced …, 2020 - Wiley Online Library
CADS (cooperative autonomous driving systems) are software‐intensive and safety‐critical
reactive systems and give great promise to our daily life, but system errors may not be …
reactive systems and give great promise to our daily life, but system errors may not be …
A model-based testing technique for component-based real-time embedded systems
J Guan, J Offutt - 2015 IEEE Eighth International Conference …, 2015 - ieeexplore.ieee.org
The growing complexity of modern real-time embedded systems is leading to increased use
of component-based software engineering (CBSE) technology. Although many ideas have …
of component-based software engineering (CBSE) technology. Although many ideas have …
[BOOK][B] Time in SCCharts
A Schulz-Rosengarten, R Von Hanxleden, F Mallet… - 2020 - Springer
Synchronous languages, such as the recently proposed SCCharts language, have been
designed for the rigorous specification of real-time systems. Their sound semantics, which …
designed for the rigorous specification of real-time systems. Their sound semantics, which …