ITS-EASY Annual Symposium 2013

September 25th Aros Congress Centre, Västerås

Content

Welcome 2

Keynote presentations 3

Agenda 4

Participants 5

Management team 6

Board 7

Industrial committee 8

ITS-EASY companies 9

ITS-EASY PhD students 10

Publications 14

Planned courses 16

ITS-EASY+ companies 18

ITS-EASY+ PhD students 19

www.mrtc.mdh.se/projects/itseasy

Welcome to ITS-EASY 2nd Annual Symposium!

ITS-EASY is just starting the third year – it started October 1st 2011. ITS-EASY is a large organisation: it counts 16 PhD students, 10 main advisors from the university, 15 co-advisors from the university and the partner companies, and more than 20 associated members; senior researchers and industrial specialists. The board, led by Helena Malmqvist, ABB, has five members, and the industrial committee where all participating companies are represented, has 9 members. The management team of the research school consists of five members. All in all, about 75 persons are directly engaged in ITS-EASY, which is quite a large consortium, the result expected, and already visible results are far above the results of “standard” 16 PhD students. The PhD students have published more then 35 research papers which is a respectable number.

In addition, ITS-EASY, directly or indirectly, boosted many new activities in cooperation with the industrial partners, and with the international research centers. In these two years, for example, MDH and ABB have signed a partnership agreement, and MDH became a preferred research partner of Volvo. The ITS-EASY board members have led or directly been involved in this process. We have also increased a cooperation by exchanging staff between MDH and the partners; for example Kristina Forsberg from SAAB Electronic Systems became an adjunct professor at IDT, Embedded Systems research direction. We also had a successful visit to University of Paderborn, Germany, one of the leading universities in Software Engineering research and know for their successful cooperation with industry. ITS-EASY+ Extending ITS-EASY Postgraduate school From October 1st 2013 eight new industrial PhD students are joining ITS-EASY! The new students will join ITS-EASY and participate in all activities planned for ITS-EASY. The experienced colleagues will help the new students with the advices from their experienced colleagues how to organize their “research” life. ITS-EASY+ students, we wish you a warm welcome to ITS-EASY! IST-EASY is affiliated with the School of Innovation, Design and Engineering (IDT) at Mälardalen University (MDH), as an integrated part of the MDH strategic research area Embedded Systems (ES).

2

Keynote presentations

Jan Bosch: Speed and Innovation through Architecture and New Ways of Working The nature of software system development is changing. Rather than building systems according to specification, innovation processes and customer intimacy are at the heart of software development, requiring unprecedented levels of agility and speed. In addition, software is increasingly built in the context of a software ecosystem where other companies and independent developers add value as well. As these trends require small teams to work efficiently and rapidly in the context of large complex systems, the role of software architecture (and that of a software architect in particular) is more important in this new world, but there is significant evolution in its implementation. This talk starts by characterizing the new approach to software engineering and the role of compositionality. It then explores the implications for software architecture and the role of the software architect. The talk will present examples from several industries to illustrate specific focus areas. About Jan Bosch In 2011 Jan returned to academia as a professor of software engineering at Chalmers University of Technology after 8 years in industry. Earlier, he worked as VP Engineering Process and VP Open Innovation for Intuit in Mountain View, California. Prior to joining Intuit, Jan worked for several years at Nokia Research Center. Before that he lived 4 years in the Netherlands where he is a full professor of Software Engineering at the University of Groningen. Nicole Levy: French Research Tax Credit: a powerful incentive for companies' research Regardless of direct aid, a number of OECD countries have a tax support for R & D system. In France, the Research Tax Credit (CIR for « Crédit Impôt Recherche ») was created in 1983. In 2008, a major reform put it to a volume-based scheme of 30% to €100M of expenses in Research &Development activities then 5%. The reduction of the cost of R & D aims at encouraging companies to increase their investment in research. This public support is justified by the externalities generated by the R & D for the benefit of the entire French economy and the risks taken by companies in the process of research and innovation. This public support contributes, through the stimulation of investment in R & D companies to increase the innovation capacity of France and ultimately its ability to grow. The presentation will explain how companies can obtain this aid and the impact of it. About Nicole Levy Professor in Computer Science at CNAM, a public higher education establishment and referent expert of the french Ministry of Research and Higher Education for the Research Tax Credit.

3

Agenda

8:30 – 09.00 Registration 9:00 - 09:15 Opening session 9:15 - 10:00 Keynote presentation I, Jan Bosch Speed and Innovation through Architecture and New Ways of Working 10:00-10:30 Coffee 10:30 - 11:15 ITS-EASY 2012–2013, including plans for the nearest future 11:15 - 12.30 New PhD students in ITS-EASY+ 12:30 - 13:30 Lunch 13:30 - 14:00 Mats Waltré:, the Knowledge Foundation: Supporting research with industrial cooperation 14:00 - 14:45 Keynote presentation II, Nicole Levy: French Research Tax Credit: a powerful incentive for companies' research 14:45 - 15:15 Coffee 15:15 - 16:30 ITS-EASY PhD students' short presentations 16:30 - 17:30 ITS-EASY PhD students´ poster presentations 17:30 Closing the symposium 18:00 Dinner at ACC

4

Participants

ABB Daniel Hallmans

ABB Gaetana Sapienza

ABB Peter Löfgren

ABB Tiberiu Seceleanu

Addiva Dag Lindahl

Addiva Daniel Söderholm

Addiva Liz Hoffman

Addiva Melika Hozhabr

Addiva Thomas Wilen

Bombardier Christer Persson

Bombardier Luciana Provenzano

Bombardier Mathias Ekman

Bombardier Ola Sellin

Chalmers Jan Bosch

CNAM Nicole Levy

Effective Change Stig Larsson

Ericsson Diarmuid Corcoran

Ericsson Andreas Ermedahl

Ericsson Kristian Wiklund

Ericsson Magnus Schlyter

Ericsson Marcus Jägemar

Etteplan Henrik Jonsson

Etteplan Karol Niechwiadowic

Etteplan Maria Signal

Etteplan Torbjörn Andersson

Hök Instruments Bertil Hök

Hök Instruments Jonas Ljungblad

ImaginationStudios Daniel Kade

KKS Mats Waltré

LEAX, MDH Farhad Noruzi

MaximaTecc Markus Wallmyr

MaximaTecc Mikael Åkerholm

MaximaTecc Rikard Land

MDH Abu Naser Masud

MDH Eduard Paul Enoiu

MDH Elaine Weyuker

MDH Federico Ciccozzi

MDH Gordana Dodig Crnkovic

MDH Gunnar Widforss

MDH Ivica Crnkovic

MDH Jiale Zhou

MDH Kaj Hänninen

MDH Kristina Lundqvist

MDH Magnus Otterskog

MDH Malin Rosqvist

MDH Mats Björkman

MDH Mikael Ekström

MDH Mikael Sjödin

MDH Moris Behnamn

MDH Radu Dobrin

MDH Rikard Lindell

MDH Thomas Nolte

MDH Wasif Afzal

MDH Yue Lu

Motion Control Jiaying Du

Rutgers Univ. Tom Ostrand

SICS Markus Bohlin

SICS Sara Gestrelius

Volvo CE David Rylander

Volvo CE Sara Dersten

Volvo CE Tomas Olsson

XDIN Detlef Scholle

XDIN Mehrdad Saadatmand

Osijek Univ Goran Martinovic

5

Management team

6

Board

The ITS-EASY Board consists of 3 industrial representatives (including the chairperson) + 2 reputed scientists. The role of the board is to support the ITS-EASY leadership in the development of the school, to give advice on strategic development, and to suggest corrective actions when needed.

7

Industrial Committee

The ITS-EASY Industrial Committee (IC) includes representatives for the participating companies and acts as a forum for discussions regarding the planned and on-going activities in the ITS-EASY research projects, deployments, and exploitation, as well as for providing opportunities for cross-company contacts. The Committee organizes biannual meetings, discussing, e.g., the current state of the project, or new ideas for integrated cooperation. IC is also responsible for providing the companies annual reports that are merged in the ITS-EASY annual report.

Mikael Backström CEO

ADDIVA

MAXIMATECC

8

Contact persons ABB Lars Lindgren Stefan U Svensson Bombardier Christer Persson Ericsson Sigrid Eldh Etteplan Maria Signal Imagination Studios Mikael Backström MaximaTecc Ken Lindfors SAAB Kristina Forsberg SICS Björn Levin Markus Bohlin Volvo CE Peter Wallin, Jonas Larsson XDIN Barbro Claesson

PhD students ABB Apala Ray Daniel Hallmans Gaetana Sapienza Bombardier Mathias Ekman Ericsson Kristian Wiklund Marcus Jägemar Etteplan Henrik Jonsson ImaginationStudios Daniel Kade MaximaTecc Stefan Björnander SAAB Göran Bertheau SICS Kivanc Doganay Volvo CE David Rylander Fredrik Ekstrand Stephan Baumgart Tomas Olsson XDIN Mehrdad Saadatmand

ITS-EASY companies

9

ITS-EASY PhD students

10

11

12

13

Publications

Journals 1. Managing Timing Implications of Security Aspects in Model-Driven Development of Real-Time Embedded Systems,

Mehrdad Saadatmand, Thomas Leveque (Orange Labs, Meylan, France), Antonio Cicchetti, Mikael Sjödin, International Journal On Advances in Security, vol 5, nr 3&4, December, 2012

2. A Formal Analysis Framework for AADL, Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, The Journal of Science and Technology, November, 2011

Conferences and workshops 2011 1. Resource Limited Hardware-based Stereo Matching for High-Speed Vision System , Fredrik Ekstrand, Carl Ahlberg,

Mikael Ekström, Lars Asplund, Giacomo Spampinato, Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, December, 2011

2. GIMME - A General Image Multiview Manipulation Engine , Carl Ahlberg, Jörgen Lidholm, Fredrik Ekstrand, Giacomo Spampinato, Mikael Ekström, Lars Asplund, Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig 2011), Cancun, November, 2011

2012 1. Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems, Mehrdad Saadatmand,

Mikael Sjödin, The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong, December, 2012 2. Agile Practices in Regulated Railway Software Development, Henrik Jonsson, Stig Larsson (former), Sasikumar

Punnekkat, Software Reliability Engineering Workshops (ISSREW), 2012 , IEEE, Dallas, TX, USA, November, 2012 3. A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model, Stefan Björnander, Rikard

Land (former), Patrick Graydon, Kristina Lundqvist, Philippa Comny (The University of York), 2nd edition of the IEEE Workshop on Software Certification (WoSoCER2012), IEEE Computer Society, Dallas, Texas, U.S.A., November, 2012

4. Towards a Methodology for Hardware and Software Design Separation in Embedded Systems, Gaetana Sapienza, Ivica Crnkovic, Tiberiu Seceleanu, In Proceedings of the Seventh International Conference on Software Engineering Advances (ICSEA 2012), p 557-562, IARIA, Lisbon, Portugal, November, 2012

5. Case-Based Reasoning Supports Fault Diagnosis Using Sensor Information, Ning Xiong, Peter Funk, Tomas Olsson, The 2nd International Workshop and Congress on eMaintenance, Luleå, Editor(s): Uday Kumar, Ramin Karim, Aditya Parida, . Phillip Tretten, November, 2012

6. Using Wireless Communication to Improve Road Safety and Quality of Service at Road Construction Work Sites (Poster), David Rylander , Jakob Axelsson, IEEE Vehicular Networking Conference (VNC), p 152-156, IEEE, Seoul, Korea, November, 2012

7. Composing Textual Modelling Languages in Practice, Bart Mayers (Modelling, Simulation and Design Lab (MSDL), University of Antwerp, Belgium), Antonio Cicchetti, Esther Guerra (Universidad Autónoma de Madrid (Spain)), Juan De Lara (Universidad Autonoma de Madrid (Spain)), Procs. of the Intl. Workshop on Multi-Paradigm Modeling (MPM'12), ACM/IEEE, Innsbruck (Austria), October, 2012

8. Monitoring Capabilities of Schedulers in Model-Driven Development of Real-Time Systems, Mehrdad Saadatmand, Mikael Sjödin, Naveed Ul Mustafa (Master Student at KTH), 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2012), Krakow, Poland, September, 2012

9. Toward Model-Based Trade-off Analysis of Non-Functional Requirements, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, 38th Euromicro Conference on Software Engineering and Advanced Applications(SEAA), Cesme-Izmir, Turkey, September, 2012

10. Towards using the Graphics Processing Unit (GPU) for Embedded Systems, Daniel Hallmans, Mikael Åsberg, Thomas Nolte, 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA'12), Work-in-Progress (WiP) session, Krakow, Poland, September, 2012

11. Towards Feedback-Based Generation of Hardware Characteristics, Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl (former), Björn Lisper, 7th International Workshop on Feedback Computing, San Jose, California, September, 2012

12. Bandwidth Measurement using Performance Counters for Predictable Multicore Software, Rafia Inam, Mikael Sjödin, Marcus Jägemar, 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'12), WiP, p 1-4, IEEE, Krakow, Poland, September, 2012

13. Software Instrumentation of Safety Critical Embedded Systems - A Problem Statement, Mathias Ekman, Henrik Thane, System, Software, SoC and Silicon Debug Conference IEEE S4D, 2012., Vienna, Austria., September, 2012

14. Towards Efficient Functional Safety Certification of Construction Machinery using a Component-based Approach, Stephan Baumgart, Joakim Fröberg, Sasikumar Punnekkat, 34th International Conference on Software Engineering (ICSE)- PLEASE Workshop, IEEE, Zurich, Switzerland, June, 2012

15. Case-based reasoning combined with statistics for diagnostics and prognosis, Tomas Olsson, Peter Funk, 25th International Congress on Condition Monitoring and Diagnostic Engineering, p 1-9, IOPScience, Huddersfield, UK, Editor(s):Andrew Ball, Rakesh Mishra, Fengshou Gu and Raj B K N Rao, June, 2012

16. Technical Debt in Test Automation, Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist, TAIC PART 2012, April, 2012

17. Utilization and Performance Considerations in Resource Optimized Stereo Matching for Real-Time Reconfigurable Hardware, Fredrik Ekstrand, Carl Ahlberg, Mikael Ekström, Lars Asplund, Giacomo Spampinato, VISAPP 2012 - International Conference on Computer Vision Theory and Applications, Rome, Italy, February, 2012

14

Conferences and workshops 2013 1. Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints, Mehrdad Saadatmand, Mikael Sjödin,

20th Asia-Pacific Software Engineering Conference (APSEC), IEEE-CPS, Bangkok, Thailand, December, 2013 2. A Solution for Industrial Device Commissioning along with the Initial Trust Establishment, Apala Ray, Johan Åkerberg,

Mikael Gidlund (external), Mats Björkman, 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013), Vienna, Austria, November, 2013

3. Run-Time Monitoring of Timing Constraints: A Survey of Methods and Tools, Nima Asadi (external), Mehrdad Saadatmand, Mikael Sjödin, The Eighth International Conference on Software Engineering Advances (ICSEA 2013), Venice, Italy, October, 2013

4. A Method for Handling Evolvability in a Complex Embedded System, Daniel Hallmans, Thomas Nolte, Stig Larsson (former), 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'13), Cagliari, Italy, September, 2013

5. Modelling for Hardware and Software Partitioning based on Multiple Properties, Gaetana Sapienza, Ivica Crnkovic, Tiberiu Seceleanu, In Proceeding of the 39th Euromicro Conference Series on Software Engineering and Advanced Applications, p 189-194, IEEE, September, 2013

6. Synthesizing a Comprehensive Framework for Lean Software Development, Henrik Jonsson, Stig Larsson (former), Sasikumar Punnekkat, 2013 39th Euromicro Conference Series, IEEE, Santander, Spain, September, 2013

7. LEAN METHOD TO IDENTIFY IMPROVEMENTS FOR OPERATION CONTROL AT QUARRY SITES, David Rylander , Jakob Axelsson, 30th International Symposium of Automation and Robotics in Construction and Mining (ISARC 2013), Montreal, Canada, August, 2013

8. Towards Automatic Verification of Safety Properties in AADL System Models, Stefan Björnander, Patrick Graydon, Rikard Land (former), Proceedings of the 31st International System Safety Conference (ISSC), System Safety Society, Boston, MA, USA, August, 2013

9. Industrial Requirements on Evolution of an Embedded System Architecture, Daniel Hallmans, Thomas Nolte, Stig Larsson (former), 5th IEEE International Workshop on Industrial Experience in Embedded Systems Design (IEESD'13), Kyoto, Japan, July, 2013

10. Reusability assessment of financial card readers’ security mechanisms in process control devices, Apala Ray, Johan Åkerberg, Mikael Gidlund (external), Mats Björkman, Christophe Tremlet (external), 11th IEEE International Conference on Industrial Informatics (INDIN 2013), Bochum, Germany, July, 2013

11. Partitioning Decision Process for Embedded Hardware and Software Deployment, Gaetana Sapienza, Ivica Crnkovic, Tiberiu Seceleanu, In Proceeding of the 37th Annual Computer Software and Applications Conference Workshops, p 674-680, IEEE, July, 2013

12. An Automated Round-trip Support Towards Deployment Assessment in Component-based Embedded Systems, Federico Ciccozzi, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, 16th International Symposium on Component-Based Software Engineering (CBSE) 2013, ACM, Vancouver (Canada), June, 2013

13. Impediments in Agile Software Development: An Empirical Investigation, Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist, 14th International Conference of Product Focused Software Development and Process Improvement - PROFES, Springer, Paphos, Cyprus, June, 2013

14. MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams, Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson, 35th International Conference on Software Engineering (ICSE) - First International Workshop on Combining Modelling and Search-Based Software Engineering, IEEE , San Francisco, May, 2013

15. Can we do useful industrial software engineering research in the shadow of Lean and Agile?, Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist, 35th International Conference on Software Engineering (ICSE) - First Intl. Workshop on Conducting Empirical Studies in Industry (CESI), , IEEE, San Fransisco, May, 2013

16. Evaluating Machine Learning for Predicting Next-Day Hot Water Production of a Heat Pump, Tomas Olsson, 4th International Conference on Power Engineering, Energy and Electrical Drives - IEEE POWERENG 2013, Istambul, Turkey, May, 2013

17. On Combining Model-Based Analysis and Testing, Mehrdad Saadatmand, Mikael Sjödin, 10th International Conference on Information Technology : New Generations (ITNG 2013), Las Vegas, Nevada, USA, April, 2013

18. Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study, Kivanc Doganay, Markus Bohlin, Ola Sellin, International Conference on Software Testing, Verification and Validation (ICST) - Search-Based Software Testing (SBST), IEEE, Luxembourg, March, 2013

19. Initial Key Distribution for Industrial Wireless Sensor Networks, Apala Ray, Johan Åkerberg, Mats Björkman, Mikael Gidlund (external), IEEE International Conference on Industrial Technology (ICIT 2013), Cape Town, South Africa, February, 2013

20. An Immersive Motion Capture Environment, Daniel Kade, Oguzhan Özcan, Rikard Lindell, ICCGMAT 2013 International Conference on Computer Games, Multimedia and Allied Technology, p 6, World Academy of Science, Engineering and Technology, Zurich, January, 2013

MRTC reports 1. EAST-ADL Tailored Testing: From System Models to Executable Test Cases, Raluca Marinescu, Mehrdad Saadatmand,

Alessio Bucaioni (external), Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-278/2013-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, August, 2013

Feedback-Based Generation of Hardware Characteristics - Technical Report, Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl (former), Björn Lisper, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-269/2012-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, August, 2012 Technical reports 1. Technical Report: Modelling for hardware and software deployment based on multiple properties selection, Gaetana

Sapienza, Ivica Crnkovic, Tiberiu Seceleanu, Technical Report, MDH, MRTC, February, 2013

15

Courses

The course curriculum of ITS-EASY includes courses in the following categories:

• Research methodology and professional/innovation-related courses. These courses provide students with knowledge in research methodology, the purpose and goals of the research, the professional and research ethical aspects, relation between research and development, and finally utilisation of the research – innovation and technology transfer.

• Research subject-related courses. These courses are either improvements of existing courses, or new courses according to the research trends and activities at MDH, and needs of the industrial partners and covering the ITS-EASY research directions.

It is expected that the PhD-students obtain between 75 and 90 credits (hp) in total during their studies, according to the University requirements, which corresponds to up to one-and-a half year of coursework. A list of the courses offered is presented in the table below.

Research methodology and professional courses

Research Planning, 4,5 hp (Mandatory) Hans Hansson

Introduction to graduate education for new PhD students, 4,5 hp Thomas Nolte & Emma Nehrenheim

Research methods in natural science and engineering 7,5 hp (Mandatory) Gordana Dodig-Crnkovic

Professional ethics, 7,5 hp (Mandatory) Gordana Dodig-Crnkovic

Research subject related courses

Distributed software development, 7,5 hp Ivica Crnkovic

Industrial systems development, 7,5 hp Antonio Cicchetti

Systems Thinking and its Application in Embedded Systems 7.5 hp Harold “Bud” Lawson (external)

Project course in robotics, 15 hp Giacomo Spampinato

Biomedical engineering, 7,5 hp Maria Lindén

Advanced component-based software engineering, 7,5 hp Ivica Crnkovic

Intelligent systems, 7,5 hp Ning Xiong

Advanced software engineering, 7,5 hp Frank Lüders

Advanced software verification and validation, 7,5 hp Paul Pettersson

Safety critical systems engineering, 7,5 hp Kristina Lundqvist

Industrial project course*, 15 hp

*mandatory for MDH employed ITS-EASY students

16

Research methodology and professional courses

Course Who

Empirical software engineering, 7,5 hp

Research and innovation, 7,5 hp

Intercultural competence in global engineering, 7,5 hp

Technology transfer, 7,5 hp (Mandatory)

Research subject related courses

Course Who

Advances in embedded systems, 15 hp

Software and System Evolution, 7,5 hp

Possible / Future courses

17

ITS-EASY+ companies

Addiva Dag Lindahl Bombardier Christer Persson Ola Sellin Ericsson Sigrid Eldh Hök Instrument Bertil Hök MaximaTecc Ken Lindfors Motion Control i Västerås AB Christer Gerdtman SICS Swedish ICS Björn Levin Markus Bohlin Volvo CE Peter Wallin Jonas Larsson

PhD students Addiva Melika Hozhabri Bombardier Eduard Paul Enoiu Ericsson Diarmuid Corcoran Hök Instrument Jonas Ljungblad MaximaTecc Markus Wallmyr Motion Control i Västerås AB Jiaying Du SICS Swedish ICS Sara Gestrelius Volvo CE Sara Dersten

Contact persons

18

19

Eduard Paul Enoiu

20

21

22

23

24

25

Sara Gestrelius

26