ArtistDesign NoE

Programme

Karl-Erik Arzen — 2010-03-11T09:52:47Z

9:00 - 10:00 Keynote: Challenges and Solutions for Adaptive Resource Management in Cyber-Physical Systems, Raj Rajkumar, Carnegie Mellon University

Abstract: An increasing number of systems today ranging from mobile phones, radar systems and internet-scale conferencing to fully autonomous cyber-physical systems can benefit from adaptive resource management techniques to meet constraints on timing, energy, fault-tolerance and changing demands. This talk will present a host of solutions to cope with such requirements. Resource reservations at the kernel level offer a sound foundation. A QoS-based Resource Allocation Model can be used to maximize overall system utility while assigning finite resources across multiple applications with a multitude of QoS dimensions. Energy-aware scheduling techniques enable longer lifetimes in battery-constrained systems such as laptops and wireless sensor networks. The uncertainty of the physical environment can also impose varying and unexpectedly large demands on resource-constrained systems. In these mixed-criticality systems, applications with higher criticality must continue to meet their resource requirements even at the expense of lower-criticality applications. Finally, as security and safety requirements are considered, even greater challenges loom in the future.

10:00 - 10:30 Coffee

10:30 - 12:00 Mini-Keynote Session
Managing Diverse Resources - the need for an Ontology on Resource Scheduling - Alan Burns, University of York
iLAND: mIddLewAre for deterministic dynamically reconfigurable NetworkeD embedded Systems - Marisol García-Valls, Universidad Carlos III de Madrid
Adaptive Resource Management in ACTORS - Karl-Erik Årzén, Lund University

12:00 - 13:30 Lunch

13:20 - 15:00 Submitted Papers Session 1
Heuristics for partitioning parallel applications on virtual multiprocessors, Buttazzo, Bini, Wu
Convex programming-based resource management for uncertain execution platforms, Lindberg
A control theory approach to Video stream adaptation for restricted bandwidth networks, Coelho, Kotra, Fohler
Adaptive resource management framework for mobile terminals - the ACTORS approach, Segovia, Årzén, Schorr, Guerra, Fohler, Eker, Gustafsson

15:00 - 15:30 Coffee

15:30 - 16:50 Submitted Papers Session 2
Runtime tradeoffs between control performance and resource usage in embedded self-triggered control systems, Samii, Eles. Peng, Cervin
Improving the efficiency of Ethernet switches for real-time communication, Santos, Vieira, Marau, Pedreiras, Olveira, Almeida, Nolte
A language-based approach to the discrete control of adaptive resource management, Delaval, Rutten
Runtime CRPD management for rate-based scheduling, Marinho, Petters

16:50 - 17:15 Panel

17:30 CPSWEEK Welcoming Reception

10. Objectives

Karl-Erik Arzen — 2008-03-25T09:17:21Z

This is a closed workshop, open primarily for the ArtistDesign partners that are members of the Design for Adaptivity transversal activity. The workshop will be held at Biskopshuset at Lund University, Lund Sweden on 13-14 May, 2008. The objective of the workshop is that each partner should present his/her view on adaptivity for embedded systems and what they are working on related to this. In addition to this we should also perform further planning of this activity and agree on a (...) - ArtistDesign Workshop on Design for Adaptivity

20. Lecturers

Karl-Erik Arzen, Kim Larsen, Luca Benini, Paul Caspi — 2006-09-25T09:11:44Z

Lecturers

Prof. Karl-Erik Arzen

Lund University, Sweden

Karl-Erik Årzén was born in Malmö, Sweden on October 4, 1957. He received his M.Sc in Electrical Engineering and PhD in Automatic Control from Lund University in 1981 and 1987 respectively. He was appointed as professor in automatic control in 2000. He has also worked for ABB Corporate Research during 1992-1994. His research interests includes real-time systems, real-time and embedded control, control of computer software systems, discrete event and sequential control, and intelligent control systems. He has published more than 120 journal articles and conference papers. He is the leader of the Control for Embedded Systems cluster within the EU/IST Network of Excellence ARTIST2 since 2004. He was the chairman of the IEEE Control System Society Technical Committee on Real-Time Control, Computing, & Signal Processing 1999-2002. He is vice chairman of the IFAC Technical Committee on Real-Time Computing & Control since 2002. In 2006 he received the Guido Carlo-Stella award from the World Batch Forum for his contributions to manufacturing automation.

Prof. Dr. Luca Benini

University of Bologna, Italy

Luca Benini is a Full Professor at the Department of Electrical Engineering and Computer Science (DEIS) of the University of Bologna. He also holds a visiting faculty position at the Ecole Polytechnique Federale de Lausanne. He received a Ph.D. degree in electrical engineering from Stanford University in 1997.

Dr. Benini's research interests are in the design of system-on-chip platforms for embedded applications. He is also active in the area of energy-efficient smart sensors and sensor networks. He has published more than 300 papers in peer-reviewed international journals and conferences, four books and several book chapters. He has been program chair and vice-chair of Design Automation and Test in Europe Conference. He has been a member of the technical program committee and organizing committee of several technical conferences, including the Design Automation Conference, International Symposium on Low Power Design, the Symposium on Hardware-Software Codesign.

He is Associate Editor of the IEEE Transactions on Computer Aided Design of Circuits and Systems and the ACM Journal on Emerging Technologies in Computing Systems. He is a senior Member of the IEEE.

Paul Caspi

Verimag Laboratory, France

Paul Caspi graduated from "Ecole polytechnique (Paris)" and holds a "docteur ès sciences" degree in automatic control from "Institut national polytechnique de Grenoble. He is currently "directeur de recherche CNRS" at the Verimag laboratory in Grenoble.

His domain of interest is computer science applied to automatic control. He is mainly concerned with safety problems in critical applications, from both hardware and software points of view. This has led him to be involved in the design of Lustre, a data-flow programming language for safety-critical automatic control applications. Lustre has been chosen as the kernel language of the SCADE design environment used at Airbus for designing the flight control systems of Airbus commercial aircrafts. This achievement owed him to share the Monpetit prize of French "Académie des sciences".

He also served as a consultant for several French companies and administrations, on problems related to safety-critical computing systems.

Kim Larsen

Aalborg University Denmark

Kim Guldstrand Larsen (born 23 December 1957) holds an MSc in Mathematics and Computer Science from University of Aalborg, Denmark, and a PhD in Computer Science from Edinburgh University, Scotland. He is a Professor of Computer Science at Aalborg University, and Industrial Professor at Twente University, The Netherlands. In addition, Kim Guldstrand Larsen has visited, or has held visiting appointments, at research centres like ENS Cachan (France), Swedish Institute of Computer Science (Sweden), Uppsala University (Sweden), Twente University (The Netherlands) and Carnegie-Mellon University (U.S.A).

Kim Guldstrand Larsen is director of CISS, the Center for Embedded Software Center, co-director of BRICS, the center for Basic Research in Computer Science, and member of the strategic management board of the ARTIST2 Network of Excellence. Kim Guldstrand Larsen is member of the Royal Danish Academy of Sciences and Letters, Copenhagen, and is member of the Danish Academy of Technical Sciences. For a period of seven years he served as member of the Danish Natural Science Research Council.

Kim Guldstrand Larsen became Honorary Doctor (Honoris causa) at Uppsala University in 1999 for his outstanding contributions to the popular verification tool UPPAAL. In 2005 he received the Danish Citation Laureates Award, Thomson Scientific, as the most cited Danish computer scientist in the period 1990-2004.

Since 1987 Kim Guldstrand Larsen has written and/or edited 10 books, published 27 papers in international journals, and approximately 130 papers in international reviewed conferences. Kim has co-authored 6 software-tools, holds one patent and is prime investigator in the real-time verification tool UPPAAL (www.uppaal.com). Kim Guldstrand Larsen has given invited talks and course all over the work, including North-America, China, India, and most European countries. Kim Guldstrand Larsen is currentley ranked no. Ranked 531 on Citeseer an has H-number 34 according to Google Scholar.

Kim Guldstrand Larsen is editorial board member of the journals Formal Methods in System Design, Theoretical Computer Science and Nordic Journal of Computing. He is serving as a member of the steering committee for the ETAPS conference series. Also he is serving as member of the steering committees and was one of the original initiators for the CONCUR conference series, the TACAS conference series and the FORMATS workshop seriesI. n addition Kim Guldstrand Larsen has served as program committee member for numerous conferences and acted as program chair and organiser of the international conferences ICALP'98, CONCUR'01, CAV'02 and FORMATS'03.

Tools for Real-Time Control Systems Codesign

Karl-Erik Arzen — 2006-08-31T12:04:00Z

Authors: Dan Henriksson, Ola Redell, Jad ElKhoury, Martin Törngren, and KarlErik Årzén: Department of Automatic Control Lund Institute of Technology April 2005

This report presents a survey of current simulation tools in the area of integrated control and real time systems design. Each tool is presented with a quick overview followed by a more detailed section describing comparative aspects of the tool. These aspects describe the context and purpose of the tool (scenarios, development stages, activities, and qualities constraints being addressedE and the actual tool technology Dtool architecture, inputs, outputs, modeling content, extensibility and availability).

The tools presented in the survey are the following; Jitterbug and TrueTime from the Department of Automatic Control at Lund University, Sweden, AIDA and XILO from the Department of Machine Design at the Royal Institute of Technology, Sweden, Ptolemy II from the Department of Electrical Engineering and Computer Sciences at Berkeley, California, RTSIM from the RETIS Laboratory, Pisa, Italy, and Syndex and Orccad from INRIA, France.

The survey also brie-y describes some existing commercial tools related to the area of realtime control systems.

See it online!

Survey of Tools for Real-Time Control Systems Co-Design

Karl-Erik Arzen, Martin Törngren — 2006-08-25T14:18:24Z

Authors: Dan Henriksson, Ola Redell, Jad El-Khoury, Martin Törngren, Karl-Erik Årzén Topics: Control for Embedded Systems

This report presents a survey of current simulation tools in the area of integrated control and real-time systems design. Each tool is presented with a quick overview followed by a more detailed section describing comparative aspects of the tool. These aspects describe the context and purpose of the tool (scenarios, development stages, activities, and qualities/constraints being addressed) and the actual tool technology (tool architecture, inputs, outputs, modeling content, extensibility and availability).

The tools presented in the survey are the following; Jitterbug and TrueTime from the Department of Automatic Control at Lund University, Sweden, AIDA and XILO from the Department of Machine Design at the Royal Institute of Technology, Sweden, Ptolemy II from the Department of Electrical Engineering and Computer Sciences at Berkeley, California, RTSIM from the RETIS Laboratory, Pisa, Italy, and Syndex and Orccad from INRIA, France.

The survey also briefly describes some existing commercial tools related to the area of real-time control systems.

See it online!

Control for Embedded Systems

Karl-Erik Arzen — 2006-08-25T08:06:59Z

Organizer Karl-Erik Arzen

Date 13 - 16 June 2005

Venue Lund, Sweden

Main Objectives The aim of the workshop is to gather key researchers within the control and real-time computing fields to chart the research agenda for the next decade in control for embedded systems. Participation in the workshop is by invitation only. The format will be quite flexible with only very few pre-scheduled presentations. The focus should be on discussions and debates.. In addition to suggesting new research problems and identifying gaps in current theory and practice, the workshop will provide appropriate recommendations to both control and computer science researchers as well as to EU, NSF and national funding agencies regarding the viability, importance, potential, and expected impact of key identified prospective contributions and research directions in the field.

Participants

Tarek Abdelzaher - Univ of Virginia
Lui Sha - Univ of Illinois
Giorgio Buttazzo - Univ of Pavia
Karl Johan Åström - LTH/UCSB
Alkis Konstantellos - EU
Gerhard Fohler - Mälardalen Univ
Alfons Crespo - UPV
Pedro Albertos - UPV
Yasamin Mostofi - Caltech
Karl Henrik Johansson - KTH
Mikael Johansson - KTH
Martin Törngren - KTH
Anton Cervin - LTH
Karl-Erik Årzén - LTH
Anders Robertsson - LTH
Maria Kihl - LTH
Björn Wittenmark - LTH
Johan Eker - Ericsson
Bo Bernhardsson - Ericsson
Mikael Petterson - ABB Automation Technology

PhD Students

Dan Henriksson - LTH
Martin Andersson - LTH
Peter Alriksson - LTH
Ather Ghattami - LTH
Toivo Henningsson - LTH
Maria Karlsson - LTH
Olof Garpinger - LTH
Kim Weyn - LTH
Bengt Ljungquist - LTH
Mikael Andersson - LTH
Michal Kutil - CTU
Manuel Lluesma Camps - UPVLC