International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2014 Vol.5 No.3/4

Special Issue on Verification, Control and Performance Analysis: Part II

Guest Editors: Kamel Barkaoui and Patrice Moreaux


Pages Title and author(s)
172-196End-to-end latency and temporal consistency analysis in networked real-time systems
Michaël Lauer; Frédéric Boniol; Claire Pagetti; Jérôme Ermont
DOI: 10.1504/IJCCBS.2014.064667
197-217Size analysis in multiprocessor real-time scheduling
Annie Choquet-Geniet; Gaëlle Largeteau-Skapin
DOI: 10.1504/IJCCBS.2014.064664
218-240Controllability for discrete event systems modelled in VeriJ
Yan Zhang; Béatrice Bérard; Lom Messan Hillah; Fabrice Kordon; Yann Thierry-Mieg
DOI: 10.1504/IJCCBS.2014.064668
241-267Transactional Petri nets: a semantic framework for UML2 activities
Sabine Boufenara; Kamel Barkaoui; Faiza Belala; Hanifa Boucheneb
DOI: 10.1504/IJCCBS.2014.064663
268-299Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction
Nesrine Harrath; Bruno Monsuez
DOI: 10.1504/IJCCBS.2014.064666
300-353Functional safety of adaptive embedded control systems: new solutions
Atef Gharbi; Mohamed Khalgui
DOI: 10.1504/IJCCBS.2014.064665