FDL 2022: Forum on Specification & Design Languages
September 14 - September 16
FDL is a well-established international forum to exchange experiences and promote new trends in the application of languages, their associated design methods, and tools for the design of electronic systems. FDL stimulates scientific and controversial discussions within and in-between scientific topics as described below.
The program structure includes research working sessions, embedded tutorials, panels, and technical discussions. The forum includes tutorials and fringe meetings, such as user group or standardization meetings. “Wild and Crazy Ideas” and work in progress are also welcome.
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.
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).