Feedback control as MAPE-K loop in autonomic computing
E Rutten, N Marchand, D Simon - … 15-19, 2013, Revised Selected and …, 2017 - Springer
Computing systems are becoming more and more dynamically reconfigurable or adaptive,
to be flexible wrt their environment and to automate their administration. Autonomic …
to be flexible wrt their environment and to automate their administration. Autonomic …
A model-driven framework for design and verification of embedded systems through SystemVerilog
The demands of system complexity and design productivity for embedded systems can be
managed by simplifying and reusing the design. Furthermore, these systems should be …
managed by simplifying and reusing the design. Furthermore, these systems should be …
Integrating discrete controller synthesis into a reactive programming language compiler
We define a mixed imperative/declarative programming language: declarative contracts are
enforced upon imperatively described behaviors. This paper describes the semantics of the …
enforced upon imperatively described behaviors. This paper describes the semantics of the …
Concurrency bugs in multithreaded software: Modeling and analysis using Petri nets
H Liao, Y Wang, HK Cho, J Stanley, T Kelly… - Discrete Event Dynamic …, 2013 - Springer
In this paper, we apply discrete-event system techniques to model and analyze the
execution of concurrent software. The problem of interest is deadlock avoidance in shared …
execution of concurrent software. The problem of interest is deadlock avoidance in shared …
Discrete controller synthesis for infinite state systems with reax
N Berthier, H Marchand - IFAC Proceedings Volumes, 2014 - Elsevier
In this paper, we investigate the control of infinite reactive synchronous systems modeled by
arithmetic symbolic transition systems for safety properties. We provide effective algorithms …
arithmetic symbolic transition systems for safety properties. We provide effective algorithms …
Eliminating concurrency bugs in multithreaded software: A new approach based on discrete-event control
H Liao, Y Wang, J Stanley, S Lafortune… - … on Control Systems …, 2013 - ieeexplore.ieee.org
Computer hardware is moving from uniprocessor to multicore architectures. One problem
arising in this evolution is that only parallel software can exploit the full performance …
arising in this evolution is that only parallel software can exploit the full performance …
Correct by construction security approach to design fault tolerant smart homes for disabled people
S Guillet, B Bouchard, A Bouzouane - Procedia Computer Science, 2013 - Elsevier
Smart homes dedicated to people with disabilities, specially those with dementia, are critical
systems which need to remain safe and adapted to the user. However the control part of …
systems which need to remain safe and adapted to the user. However the control part of …
Polychronous controller synthesis from MARTE CCSL timing specifications
H Yu, JP Talpin, L Besnard, T Gautier… - Ninth ACM/IEEE …, 2011 - ieeexplore.ieee.org
The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)
defines a mathematically expressive model of time, the Clock Constraint Specification …
defines a mathematically expressive model of time, the Clock Constraint Specification …
Qos-driven self-adaptation for critical iot-based systems
Abstract The Internet-of-Things, which designates the interconnection of numerous physical
devices, is a growing research direction faced with many challenges. One of these …
devices, is a growing research direction faced with many challenges. One of these …
Discrete control for the internet of things and smart environments
The Internet of Things (IoT) requires self-configuration capacities, for which there is a need
for design techniques for predictable controllers, and automation in the construction of these …
for design techniques for predictable controllers, and automation in the construction of these …