MARTE/CCSL for modeling cyber-physical systems
F Mallet - Formal Modeling and Verification of Cyber-Physical …, 2015 - Springer
Abstract Cyber Physical Systems (CPS) combine digital computational systems with
surrounding physical processes. Computations are meant to control and monitor the …
surrounding physical processes. Computations are meant to control and monitor the …
Schedulability analysis with CCSL specifications
L Yin, J Liu, Z Ding, F Mallet… - 2013 20th Asia-Pacific …, 2013 - ieeexplore.ieee.org
The Clock Constraint Specification Language (CCSL) is a formal polychronous language
based on the notion of logical clock. It defines a set of kernel constraints that can represent …
based on the notion of logical clock. It defines a set of kernel constraints that can represent …
Specification and Verification of Multi-clock Systems using a Temporal Logic with Clock Constraints
The polychronous or multi-clock paradigm is adequate to model large distributed systems
where achieving a full timed synchronization is not only very costly, but also often not …
where achieving a full timed synchronization is not only very costly, but also often not …
Work-in-progress: From logical time scheduling to real-time scheduling
Scheduling is a central yet challenging problem in real-time embedded systems. The Clock
Constraint Specification Language (CCSL) provides a formalism to specify logical …
Constraint Specification Language (CCSL) provides a formalism to specify logical …
Extensible firmware abstraction
TPC Lee - US Patent 9,910,684, 2018 - Google Patents
A method for extensible firmware abstraction includes creating a null library and adding null
library dependencies to the null library's build file. The null library is associated with a …
library dependencies to the null library's build file. The null library is associated with a …
Early timing analysis based on scenario requirements and platform models
J Holtmann, J Deantoni, M Fockel - Software and Systems Modeling, 2022 - Springer
Distributed, software-intensive systems (eg, in the automotive sector) must fulfill
communication requirements under hard real-time constraints. The requirements have to be …
communication requirements under hard real-time constraints. The requirements have to be …
[PDF][PDF] Towards formal system modeling: Making explicit and formal the concurrent and timed operational semantics to better understand heterogeneous models
J Deantoni - 2019 - inria.hal.science
We are more and more interacting with non-natural complex systems, thought up by the
human brain like smartphones, industrial robots, vehicles or home automation. Both words …
human brain like smartphones, industrial robots, vehicles or home automation. Both words …
Explicit routing schemes for implementation of cellular automata on processor arrays
JV Millo, R de Simone - Natural Computing, 2013 - Springer
Massively parallel processor array (MPPA) architectures are becoming widely available
computing platforms. Because of formal similarities, they are good candidates for …
computing platforms. Because of formal similarities, they are good candidates for …
[图书][B] Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
SC Nogueira - books.google.com
The Brazilian Symposium on Formal Methods is dedicated to developing, disseminating,
and applying formal methods to construct high-quality computational systems. It aims to …
and applying formal methods to construct high-quality computational systems. It aims to …
Formal Methods: Foundations and Applications
SC Nogueira, C Teodorov - Springer
The Brazilian Symposium on Formal Methods is dedicated to developing, disseminating,
and applying formal methods to construct high-quality computational systems. It aims to …
and applying formal methods to construct high-quality computational systems. It aims to …