Skip to main content

3 Result(s)

within Stefano Centomo Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era

    The occurrence of human errors in work processes reduces the quality of results, increases the costs due to compensatory actions, and may have heavy repercussions on the workers’ safety. The definition of rule...

    Michele Boldo, Nicola Bombieri… in Leveraging Applications of Formal Methods,… (2022)

  2. No Access

    Chapter

    Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms

    Modeling Cyber-Physical Systems requires aggregating semantics and languages tailored to different specific domains, while simulating these systems requires integrating different tools and technologies. Academ...

    Stefano Centomo, Michele Lora, Franco Fummi in Languages, Design Methods, and Tools for E… (2020)

  3. No Access

    Chapter

    Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces

    Verification of cyber-physical systems SW often requires simulation of accurate heterogeneous HW models. However, heterogeneous system simulators do not easily allow it and designers must connect multiple simu...

    Stefano Centomo, Michele Lora… in Languages, Design Methods, and Tools for E… (2019)