Reconfigurable cyber-physical system for critical infrastructure protection in smart cities via smart video-surveillance
Automated surveillance is essential for the protection of Critical Infrastructures (CIs) in future
Smart Cities. The dynamic environments and bandwidth requirements demand systems that …
Smart Cities. The dynamic environments and bandwidth requirements demand systems that …
CPS: Role, characteristics, architectures and future potentials
CPS entails the incorporation of four key characteristic technologies. CPS device
technologies, CPS computational technologies, Cyber Physical System of Systems (CPSoS) …
technologies, CPS computational technologies, Cyber Physical System of Systems (CPSoS) …
A new SysML model for UAV swarm modeling: UavSwarmML
In recent years, autonomous or teleoperated robots have played an increasingly important
role in civilian applications. In particular, unmanned aerial vehicles (UAVs) are autonomous …
role in civilian applications. In particular, unmanned aerial vehicles (UAVs) are autonomous …
Reproducible evaluation of system efficiency with a model of architecture: From theory to practice
Current trends in high performance and embedded computing include design of
increasingly complex hardware architectures with high parallelism, heterogeneous …
increasingly complex hardware architectures with high parallelism, heterogeneous …
Hardware/software self-adaptation in CPS: the CERBERO project approach
Abstract Cyber-Physical Systems (CPS) are interconnected devices, reactive and dynamic to
sensed external and internal triggers. The H2020 CERBERO EU Project is developing a …
sensed external and internal triggers. The H2020 CERBERO EU Project is developing a …
A microservice-based framework for multi-level testing of cyber-physical systems
In the last years, the use of microservice architectures is spreading in Cyber-Physical
Systems (CPSs) and Internet of Things (IoT) domains. CPSs are systems that integrate …
Systems (CPSs) and Internet of Things (IoT) domains. CPSs are systems that integrate …
Papify: Automatic instrumentation and monitoring of dynamic dataflow applications based on papi
The widening of the complexity-productivity gap in application development witnessed in the
last years is becoming an important issue for the developers. New design methods try to …
last years is becoming an important issue for the developers. New design methods try to …
Consistency of property specification patterns with boolean and constrained numerical signals
Abstract Property Specification Patterns (PSPs) have been proposed to solve recurring
specification needs, to ease the formalization of requirements, and enable automated …
specification needs, to ease the formalization of requirements, and enable automated …
Property specification patterns at work: verification and inconsistency explanation
Property specification patterns (PSPs) have been proposed to ease the formalization of
requirements, yet enable automated verification thereof. In particular, the internal …
requirements, yet enable automated verification thereof. In particular, the internal …
Engineering swarms of cyber-physical systems with the cpswarm workbench
Engineering swarms of cyber-physical systems (CPSs) is a complex process. We present
the CPSwarm workbench that creates an automated design workflow to ease this process …
the CPSwarm workbench that creates an automated design workflow to ease this process …