INDIVIDUELL STUDIEPLAN I FORSKARUTBILDNINGEN

ndividuell Studieplan - of 6 2008-07-08 19:23 INDIVIDUELL STUDIEPLAN I FORSKARUTBILDNINGEN Personuppgifter Doktorandens namn Senast uppdaterad: 2008-05-28 DEL 1. ADMINISTRATIVA UPPGIFTER Johan Fredriksson Personnummer 771226-0038 Institution Datum då forskarutbildningen påbörjades Forskarutbildningsämne Huvudhandledare Biträdande handledare Planeringssamtal med doktoranden har hållits IDE - Institutionen för Datavetenskap och Elektronik 2003-02-01 Datavetenskap Ivica Crnkovic, ivica.crnkovic@mdh.se Kristian Sandström, kristian.sandstrom@mdh.se Mikael Nolin, mikael.nolin@mdh.se Thomas Nolte, thomas.nolte@mdh.se 20040526, Johan Fredriksson, Ivica Crnkovic, Kristian Sandström 20050511, Johan Fredriksson, Kristian Sandström 20060411, Johan Fredriksson, Ivica Crnkovic, Kristian Sandström 20060516, Johan Fredriksson, Ivica Crnkovic, Kristian Sandström 20060509, Johan Fredriksson, Kristian Sandström 20061110, Johan Fredriksson, Kristian Sandström 20070226, Johan Fredriksson, Kristian Sandström 20070308, Johan Fredriksson, Ivica Crnkovic, Kristian Sandström, Thomas Nolte, PhD proposal 20070502, Johan Fredriksson, Mikael Nolin, Thomas Nolte 20070509, Johan Fredriksson, Kristian Sandström 20070702, Johan Fredriksson, Thomas Nolte 20070926, Johan Fredriksson, Kristian Sandström 20071011, Johan Fredriksson, Kristian Sandström 20071217, Johan Fredriksson, Kristian Sandström 20080313, Johan Fredriksson, Kristian Sandström Finansiering Industridoktorand (EXT) Finansieringsplan specat per tidsperiod CC-Systems 100% 2003-2006 2007 - finansiering från SSF - Progress Från Nov 2006 Industridoktorand CC-Systems. Finansiering VR. Finansiering säkrad fram till disputation. Examen Licentiatexamen Ja, erhåller licentiatexamen sedan: 2005-04-13 Doktorsexamen Ja, planerad till: ht 2008 Fodrad poäng inom kursbundna studier: 50 Fodrad poäng inom avhandlingsarbete : 110

2 of 6 2008-07-08 19:23 Aktivitet för hela forskarutbildningen Examensbeteckning: teknologie Fullgjord del Aktivitetsgrad för Institutionstjänstgöring av examen (%) forskarutbildningen (%) eller liknande (%) Planerad Faktisk Planerad Faktisk Planerad Faktisk 2003 2004 2005 2006 2007 2008 vt 10 10 vt 80 80 vt 20 20 ht 20 20 ht 80 80 ht 20 20 vt 30 30 vt 80 80 vt 20 20 ht 40 40 ht 80 80 ht 20 20 vt 50 50 vt 80 80 vt 20 20 ht 60 60 ht 80 80 ht 20 20 vt 70 70 vt 80 80 vt 20 20 ht 80 80 ht 80 80 ht 20 20 vt 90 90 vt 80 80 vt 20 20 ht 95 95 ht 50 50 ht 50 50 vt 100 98 vt 50 50 vt 50 50 ht 100 ht 50 ht 50 Avvikelse från planerad aktivitet. Kommentar till avvikelsen: Dissputation på Höstterminen istället för vårtermnen 2008 Kurser i forskarutbildningen Planerade kurser Software Engineering, 5p, VT03 SAVE Component Based Software Engineering for Safety-Critical Embedded Systems, 5p, VT03 Forskningsprojektsplanering, 5p, VT03 Distributed Development, 3p, HT03 Component Based Technologies, 3p, HT03 Component Based Software Engineering, 5p, VT04 Embedded Control Systems, 5p Case-Study Methodology 3p, HT04 Safety in Software systems 2p, VT08 Summa: 36 p Tillgodoräknade samt avklarade kurser Real-Time Systems- advanced course, 5p Parallel Systems I, 2p Research Methodology, 5p Distributed Real-Time Systems. 2p Safety- Critical Systems, 5p Software Engineering, 5p, VT03 SAVE Component Based Software Engineering for Safety-Critical Embedded Systems, 5p, VT03 Forskningsprojektsplanering, 5p, VT03 Distributed Development, 3p, HT03 Component Based Technologies, 3p, HT03 Component Based Software Engineering, 5p, VT04 Embedded Control Systems, 5p Case-Study Methodology 3p, HT04 Safety in Software systems 2p, VT08 Summa: 55 p Plan för avhandlingsarbetet DEL 2. PLANERING AV FORSKARUTBILDNINGEN

ndividuell Studieplan - of 6 2008-07-08 19:23 Beskrivning av forskningsuppgift och inriktning Middleware and Component-based models for real-time systems Component-based development (CBD) has achieved remarkable popularity in software engineering community and considerable results in certain domains. CBD, and software reuse in general, has been extensively used for several years in desktop environments, graphical mathematical applications, Internet- and web-based distributed applications. In many other domains, such as real-time (RT) and embedded systems CBD is considerably less utilized, mainly because inability of component-based technologies to manage extra-functional properties as required in these domains. The goal of this work is to improve use of CBD for RT and embedded system. In particular component-based models for RT and embedded systems are considered. The main research goal is to provide a component model and middleware for RT systems in respect of intercommunication between components. In particular real-time and resource aspects will be analyzed. Further, a possibility of using existing component models/middleware in RT systems will be analyzed. The work is a part of the projects SAVE (Component Based Design of Safety-Critical Vehicular Systems) and FLEXCON (Flexible controllers). Detaljerad beskrivning av planerat avhandlingsarbete det närmaste året 2005 Q3: * Handleda exjobb. * Arbete med SaveCCM - Intergrated development framework. Samarbete med Massimo Tivoli, Anders Möller, Lars Grunke. * Paper med Massimo Tivoli - intergrated dev. framework * Papper med Anders Möller - Context dependent sched. * Papper med Lars Grunke - deployment strategies to non-func. prop. * Arbeta på en Research Plan för att hitta "en bra väg" till PhD ------------------------------------------------------- 2005 Q4-2006 Q1: Australien * Forskningsprojekt - Samarbete med Monash university Inriktning på forskning i Australien: * Task-allocation of model-driven approach regarding real-time tasks * Context dependent optimizations of embedded real-time systems * Case-study on some Industrial example. On site or simulation. ------------------------------------------------ 2006 Q2: Tillbaka till Sverige * Börja med PhD proposal * Planera för utformningen på avhandlingen * Samanställ resultat och utvärdera "Research Plan" 2007 Q1: * PhD Proposal presenterad 2007 Q4: * Sista pappret och arbetet ska slutföras 2008 Q1: * Avhandlingsarbete 2008 Q2: * Avhandlingsarbete * Disputation Fullgjorda moment /avvikelser från planering och orsak till detta Klara kurser: Software Engineering, 5p, VT03 Distributed Development, 3p, HT03* Component Based Technologies, 3p, HT03* Component Based Software Engineering, 5p, VT04* SAVE Component Based Software Engineering for Safety-Critical Embedded Systems, 5p, VT* Embedded Control Systems, 5p Case-Study Methodology 3p, HT04* Artiklar: Conferences and Workshops:

4 of 6 2008-07-08 19:23 Attaining Flexible Real-Time Systems by Bringing Together Component Technologies and Real-Time Systems Theory, In Proceedings of the 29th Euromicro Conference, Component Based Software Engineering Track Belek, Turkey, September 2003. IEEE On the Teaching of Distributed Software Development, In 25th International Conference INFORMATION TECHNOLOGY INTERFACES Dubrovnik, Croatia, June 2003. IEEE Software Component Technologies for Real-Time Systems An Industrial Perspective, In 24th Real-Time Systems Symposium, Work In Progress Session Cancun, Mexico, December 2003. IEEE Introducing a Component Technology for Safety Critical Embedded Real Time Systems In Proceedings of the 29th Euromicro Conference, Component Based Software Engineering Track Belek, Turkey, September 2003. IEEE* Evaluation of Component Technologies with Respect to Industrial Requirements, In Euromicro Conference, Component-Based Software Engineering Track Rennes, France, August 2004. Quality Attribute Support in a Component Technology for Vehicular Software, In Fourth Conference on Software Engineering Research and Practice in Sweden Linköping, Sweden, October 2004. * Calculating Resource Trade-offs when Mapping Component Services to Real-Time Tasks, In Fourth Conference on Software Engineering Research and Practice in Sweden Linköping, Sweden, October 2004. * Optimizing Resource Usage in Component-Based Real-Time Systems, In the 8th International Symposium on Component-based Software Engineering (CBSE8), May 2005. * Technical Reports: Interference Control for Integration of Vehicular Software Components, MRTC Report ISSN 1404-3041 ISRN MDH-MRTC-162/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May 2004. An Industrial Evaluation of Component Technologies for Embedded-Systems, MRTC Report ISSN 1404-3041 ISRN MDH-MRTC-155/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February 2004. Component Based Software Engineering for Embedded Systems - A literature survey, MRTC Report ISSN 1404-3041 ISRN MDH-MRTC-102/2003-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June 2003. A Sample of Component Technologies for Embedded Systems, Technical Report, November 2004. Optimizing Resource Usage in Component-Based Real-Time Systems Appendix, Technical Report, February, 2005 Contract-Based Reusable Worst-Case Execution Time Estimate, Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt (external), Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), Daegu, Korea, August, 2007 Packaging Component-Analysis for Reuse, Johan Fredriksson, Rikard Land, 9th Real-Tine in Sweden (RTiS'07), Västerås, Sweden, August, 2007 Reusing Worst-Case Execution Time Analysis with Component Contracts, Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt (external), Proceedings of the 9th Real-Time in Sweden (RTiS'07), Västerås, Sweden, August, 2007 Clustering Worst-Case Execution Times for Software Components, Johan Fredriksson, Thomas Nolte, Andreas Ermedahl, Mikael Nolin, Proceedings of the 7th International Workshop on Worst Case Execution Time Analysis (WCET'07), Pisa, Italy, July, 2007 Contract-Based Reusable Analysis for Software Components with Extra-Functional Properties, Johan Fredriksson, Thomas Nolte, Proceedings of the Work-In-Progress (WIP) session of the 19th Euromicro Conference on Real-Time

5 of 6 2008-07-08 19:23 Systems (ECRTS'07), Pisa, Italy, July, 2007 Reusable Component Analysis for Component-Based Embedded Real-Time Systems, Johan Fredriksson, Rikard Land, 29th International Conference on Information Technology (ITI 2007), Cavtat near Dubrovnic, Croatia, June, 2007 Handling Subsystems using the SaveComp Component Technology, Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, Mikael Nolin, Thomas Nolte, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil, Editor(s):Marco Di Natale and Luis Almeida, December, 2006 Predicting Execution-Time for Variable Behaviour Embedded Real-Time Components, Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt (external), Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil, Editor(s):Marco Di Natale and Luis Almeida, December, 2006 A component-based development framework for supporting functional and non-functional analysis in control system design, Johan Fredriksson, Massimo Tivoli (former), Ivica Crnkovic, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), p 368-371, ACM 2005, Long Beach, CA, USA, November, 2005 A component-based development framework for supporting functional and non-functional analysis in control system design, Johan Fredriksson, Fifth Conference on Software Engineering Research and Practice in Sweden, Västerås, Sweden, October, 2005 Component-Based Context-Dependent Hybrid Property Prediction, Anders Möller, Ian Peake (Monash University), Mikael Nolin, Johan Fredriksson, Heinz Schmidt (external), ERCIM - Workshop on Dependable Software Intensive Embedded systems, ERCIM, Porto, Portugal, September, 2005 A component-based approach for supporting functional and non-functional analysis in control loop design, Massimo Tivoli (former), Johan Fredriksson, Ivica Crnkovic, Tenth International Workshop on Component-Oriented Programming, Glasgow, Scotland, July, 2005 Optimizing Resource Usage in Component-Based Real-Time Systems, Johan Fredriksson, Kristian Sandström, Mikael Åkerholm, the 8th International Symposium on Component-based Software Engineering (CBSE8), May, 2005 Thesis:* Achieve consistent mappings between component models and real-time models, Licentiate Thesis No. 47, ISSN 1651-9256, ISBN 91-88834-55-7, Västerås, 2005 Planerad utformning av avhandlingen Utformningen kommer att planeras ett år före avhandlingen, dvs 2006. Utformningen har planerats 2006-05-16. Plan för handledning Omfattning Kontinuerligt samarbete med handledarna och inom forskningsgrupp

6 of 6 2008-07-08 19:23 Tillgänglighet Minst en gång per vecka Former för handledning Grupparbete, diskussioner, gemensamma artiklar Forskarutbildningens innehåll Pedagogisk utbildning och annan utbildning Inom ramen för planerade kurser Forskningsetik Research Methodology Course Vetenskapsteori och kunskapsteori Research Methodology Course Förmåga att använda relevanta IT-verktyg GU Projektledning Delvis i kurser Forskningsfinansiering Research Methodology Course Samarbetsförmåga Genomgående i forskningsprojekt och i kurser Språkfärdighet på svenska och engelska I kurser och forskningsprojekt Utlandsvisteles 6 månader, Australien Miljöaspekter inom utbildningen ISO 14001 certifierad skola Kommunikation med ickespecialister Laborations assistent inom institutionstjänstgöringsdelen, rekryteringskampanj för gymnasiestuderande Förmåga att arbeta interdisciplinärt Ingår ej Kännedom om karriärvägar utanför högskolan Orientering om ABB, mfl Arbetsplats och materiella resurser Erhåller arbetsplats och dator samt kontorsmaterial av IDt Övrigt Efter att du läst färdigt ISP:n ovan, kan du stänga det här fönstret och godkänna ISP:n genom att klicka på "Skicka till Studierektorn"-ikonen ( ) som finns bredvid namnet på doktoranden på din startsida (under "Administrera"-kolumnen).