FDL2017 Special Sessions

Share it now

The following Special Sessions will be organized at FDL2017.
The papers can be submitted to these Special Sessions until June 2.

 
 


 
Special Session 1
Languages and Design Methods for Time-critical Systems

Organizer:
Reinhard von Hanxleden, Department of Computer Science, Kiel University, Kiel, Germany
 

Time-critical systems are characterized by the importance of their externally observable timing behavior. Achieving “good performance” with limited resources, a goal that is still driving most hard- and software developments, is important requirement for such systems as well, but in addition one typically wants fine-grain control and analysis capabilities [7]. The practical relevance of time-critical systems, for example as embedded/cyber-physical systems, is unquestioned. However, such systems pose specific challenges that most specification and design languages do not address in a satisfactory manner. Specifically, languages for time-critical systems should provide the following:
1) Desired timing characteristics should be expressible in a portable, platform-independent manner.
2) It should be possible to synthesize code with predictable timing behaviors.
3) As most time-critical systems are concurrent, languages for time-critical systems should express concurrency without compromising functional predictability.
4) Finally, time-critical systems often come with particularly high demands concerning correctness. Thus languages for such systems should facilitate the validation and ideally formal verification of compilers.
 
The family of synchronous languages has a long tradition of addressing these questions [4]. These languages have originally been developed the design of reactive systems, and they are commercially successful in particular for safety critical systems, such as avionics control. Their hallmark is the abstraction of time from behavior, by conceptually assuming infinitely fast computations such that outputs are synchronous with the inputs. Interestingly, this separation makes synchronous languages particularly suited for time- critical systems, since they rule out any non-determinacy that might stem from variance in actual execution times and run- time scheduler decisions.
 
However, while the foundations for designing control-oriented and data-flow-oriented applications and synthesizing efficient code that is faithful to the determinate language semantics have been understood for some time now, the questions stated above are still under active investigation. Recent developments such as the application of synchronous languages to multi-core systems, the integration of discrete with continuous systems, the formal verification of the synthesis path, or the relaxing of the original synchrony hypothesis by allowing values to evolve sequentially have spurred new developments that will be the subject of the session proposed here.
 


Special Session 2
Programming Languages for Quantum Computing
 
Organizers:
Mathias Soeken, EPFL, Lausanne, Switzerland
Michael Kirkedal Thomsen, University of Copenhagen, Copenhagen, Denmark
 
Abstract. Quantum computing is getting real. Last year, researchers fabricated quantum computers that reliably implement well-known quantum algorithms [3] or perform practical applications such as high-energy physics simulation [7] and electronic structure computation [9]. Since all such examples involve quantum circuits of very limited depth, hand designed circuits suffice. However, this year it is predicted that quantum computing moves from pure science towards engineering [2], mainly due to the advances in fabrication of universal quantum computers [4] at the labs of Google [1, 6] and Microsoft [8]. As a result of quantum computers scale up, design automation is necessary in order to fully leverage the power of this emerging computational model. To be prepared for a broader availability of quantum computers, researchers from academia and industry are developing software chains in order to program quantum computers (cf. Microsoft LIQU i| and Quipper [5]). These programs take as input a quantum algorithm, written as a software program, and translate it into quantum gate networks. Fundamental differences between quantum and classical computing pose serious design challenges.
 
This special session will present several programming languages and design languages which are developed for enabling a structured way of designing quantum algorithms. The proposed languages will target different abstractions in the design flow, starting from higher-level languages to describe algorithms and arithmetic operations down to simulation languages that help to understand how the algorithm would perform on a physical quantum computer. The talks will only use algorithms which are freely available, and show their usages during the talk. This allows the participants to repeat the examples shown during the session. After the special session, the participants will have a good understanding of quantum programming languages and how they help in bringing quantum algorithms onto physical devices as well as a good overview of existing algorithms and tools. The special session will close with open questions and next challenges in the field.

 


 
Special Session 3
Design & Verification of Automotive Embedded System

 
Organizer:
Ashraf Salem
 

The session solicits articles in all aspects of the Design and verification of Automotive embedded systems. The nature of these systems mainly directs designer to use Hardware/Software co-design techniques with great emphasis on safety and security aspects. Articles proposing innovative techniques in these fields are welcomed. Namely, Hardware design techniques for ECUs used on Autonomous driving, Co-design and verification for AUTOSAR software on virtual and RTL core, Multi-domain simulation environment for electrical, mechanical, and hydraulic simulation, and validation of the analog parts of the ECU with the digital core. Papers highlighting challenges and solutions for development using the AUTOSAR Adaptive Platform for Connected and Autonomous Vehicles will be particularly encouraged. Also, the session welcomes articles that deal with the ISO 26262 functional safety aspects, including fault injection, fault analysis, fault tolerance, risk assessment, ASIL allocation, and requirement formal verification.  Papers covering challenges, approaches, and solutions targeting secure, reliable, and predictable automotive systems are invited.
 


 
Special Session 4
Next Generation Many-core Architectures

Organizer:
Tom J Kazmierski, Faculty of Applied Science and Engineering, University of Southampton, UK

Session Theme: This session presents new research contributions demonstrating effective techniques for the development of novel computing architectures in the implementation of parallel processing and networking for the next generation electronic systems. All the three contributions investigate different ways of designing hardware for modern compute intensive problems, especially in the light of rigorous energy consumption requirements of the Internet of Things. Over the past few years, architectures have appeared containing multiple cores, but exploiting these efficiently in the general case remains a 'holy grail' of electronic design automation.
 
Intended audience: This special session is intended for a wide spectrum of academic researchers and industry professionals reflecting the typical FDL audience. The presented research results will provide a useful insight to those are already involved in next-generation power/energy related computing hardware design.

 


 

Share it now