Special Sessions

Share it now


FDL 2015
Forum on specification & Design Languages

September 14-16, 2015
Barcelona, Spain


Two FDL Special Sessions will be organized this year:

  • Special Session 1: High Integrity Multi-Core Modelling for Future Systems (Hi-MCM) (CfP in PDF)
  • Special Session 2: Power Aware Modelling and Design (Cfp in PDF)

 
The details of each session can be found below:
 


 
Special Session 1:
High Integrity Multi-Core Modelling for Future Systems (Hi-MCM)

Modern embedded applications already integrate a multitude of functionalities with potentially different criticality levels into a single system. Driven by the availability of embedded multi-core System-on-Chips, this trend is expected to grow in the near future. Without appropriate preconditions, the integration of mixed-criticality subsystems can lead to a significant and potentially unacceptable increase of engineering and certification costs.
The Assurance of Multi-core and Mixed Criticality Systems is an ongoing challenge for high integrity and safety critical development. Some key challenges are the combination of virtualization and hardware segregation and the extension of partitioning mechanisms jointly addressing significant extra-functional requirements (e.g., time, energy and power budgets, adaptivity, reliability, safety and security) along with development and certification methodology. This special session will cover both research and industrial progress in the modelling, design, and verification of multi-cores for future highly integrated mixed-criticality systems.
This special session is being jointly organised by the following European projects currently united in the Mixed-Criticality Cluster: DREAMS, PROXIMA, and CONTREX.
 

Topics include (but not limited to)
- Multi-core software & hardware specification and design to improve verifiability
- Verification and testing for multi-core processors and mixed criticality systems
- Probabilistic analysis methods
- Modelling of extra functional properties (time, power, temperature, …)
- Cross domain implications for multi-core, e.g. safety and security
- Constraints based checking for multi-core and mixed criticality
- Incremental certification and (re-)certification
- Tool interoperability for seamless traceability of functional and extra-functional properties
 
Full Special Session call text in PDF available here
 

Submissions

Authors should submit papers in double column, IEEE format as PDF through the submission system:
https://easychair.org/conferences/?conf=fdl2015
Full Research Papers shall not exceed 6-8 pages. Other Contributions like work in progress, wild & crazy ideas, demo night abstracts, or user experiences shall not exceed 2-4 pages. Submitted papers should be anonymous, are required to describe original unpublished work, and must not be under consideration for publication elsewhere. When submitting the paper, please indicate the addressed Special Session.

 
Special Session Organizer
Kim Gruettner | Kim [dot] Gruettner [at] offis [dot] de |OFFIS
Roman Obermaisser | roman [dot] obermaisser [at] uni-siegen [dot] de | Universität Siegen
Francisco J. Cazorla | francisco [dot] cazorla [at] bsc [dot] es | BSC
 


 
Special Session 2:
Power Aware Modelling and Design

The FDL 2015 Session on Power Aware Modelling and Design is intended to present and discuss new  approaches to achieve power aware design of systems and architectures.
In particular, the session will pay close attention to power modelling, due to its central role in providing awareness at design time. Apart from the proposal of low power architectures and power management methods, the session is also interested in optimizing their use and assessing the potential consequences. Therefore, contributions focused on power integrity or in high level energy optimization are also welcome.
Finally, not only power consumption needs to be considered, but also power supplies, such as, in particular, batteries and energy-harvesters. The purpose of the special session is to discuss new approaches to power aware modelling and design and to collect the corresponding feedback from the scientific and industrial community. The topics include, but are not restricted to:

Topics include (but not limited to)
- Energy/Power Aware Design
- Power Models and Simulation
- Ultra-low Power Design
- Wireless Sensor Networks
- Power Integrity
- Energy-Harvesting
- Power Estimation
- Power Management
- Battery Models
- Energy Aware Communication
 
Full Special Session call text in PDF available here
 
Submissions

Authors should submit papers in double column, IEEE format as PDF through the submission system:
https://easychair.org/conferences/?conf=fdl2015
Full Research Papers shall not exceed 6-8 pages. Other Contributions like work in progress, wild & crazy ideas, demo night abstracts, or user experiences shall not exceed 2-4 pages. Submitted papers should be anonymous, are required to describe original unpublished work, and must not be under consideration for publication elsewhere. When submitting the paper, please indicate the addressed Special Session.

 

Special Session Organizer
Javier Moreno Molina | moreno [at] cs [dot] uni-kl [dot] de | Technische Universität Kaiserslautern
 


 
Contacts

fdl [at] ecsi [dot] org
www.ecsi.org/fdl

Share it now