FDL 2022: Forum on Specification & Design Languages

Electronic systems of interest to FDL include (but are not limited to) those that are used in internet-of-things (IoT), cyber-physical systems (CPS), mixed criticality embedded systems, embedded systems for high-performance computing, automatic driving and driver assistance, real-time systems, reconfigurable and secure computing.

REGISTER HERE

Special Sessions

Computers intervene in critical aspects of our life related to mobility (transportation), manufacturing, and health among others. AI-software already controls functionalities or services with humans in the loop so any misbehavior can cause irreparable environmental damages, economic loss, harm to people and even fatalities. These risks are managed by making the software and the computing hardware of cyber-physical systems (CPS) to inherit part of the safety requirements imposed on the overall system by safety standards. The increased connectivity and data collection performed by CPS also brings security concerns. These metrics compound other standard metrics to optimize in CPS like computing performance, energy consumption, and programmability. Addressing all these challenges require going beyond silo research and propose whole-stack transformational changes, including AI algorithms (e.g. to increase explainability of AI), safety standards (e.g. to adapt to the specific characteristics of AI), hardware design (e.g. to provide guaranteed performance while adhering to safety, security requirements), software (to easy programmability).