INDIVIDUELL STUDIEPLAN I FORSKARUTBILDNINGEN

Transkript

1 ndividuell Studieplan - of :23 INDIVIDUELL STUDIEPLAN I FORSKARUTBILDNINGEN Personuppgifter Doktorandens namn Senast uppdaterad: DEL 1. ADMINISTRATIVA UPPGIFTER Johan Fredriksson Personnummer 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 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 , Johan Fredriksson, Ivica Crnkovic, Kristian Sandström , Johan Fredriksson, Kristian Sandström , Johan Fredriksson, Ivica Crnkovic, Kristian Sandström , Johan Fredriksson, Ivica Crnkovic, Kristian Sandström , Johan Fredriksson, Kristian Sandström , Johan Fredriksson, Kristian Sandström , Johan Fredriksson, Kristian Sandström , Johan Fredriksson, Ivica Crnkovic, Kristian Sandström, Thomas Nolte, PhD proposal , Johan Fredriksson, Mikael Nolin, Thomas Nolte , Johan Fredriksson, Kristian Sandström , Johan Fredriksson, Thomas Nolte , Johan Fredriksson, Kristian Sandström , Johan Fredriksson, Kristian Sandström , Johan Fredriksson, Kristian Sandström , Johan Fredriksson, Kristian Sandström Finansiering Industridoktorand (EXT) Finansieringsplan specat per tidsperiod CC-Systems 100% 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: Doktorsexamen Ja, planerad till: ht 2008 Fodrad poäng inom kursbundna studier: 50 Fodrad poäng inom avhandlingsarbete : 110

2 2 of :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 vt vt vt ht ht ht vt vt vt ht ht ht vt vt vt ht ht ht vt vt vt ht ht ht vt vt vt ht ht ht vt vt vt 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

3 ndividuell Studieplan - of :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 Q 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 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 4 of :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 IEEE On the Teaching of Distributed Software Development, In 25th International Conference INFORMATION TECHNOLOGY INTERFACES Dubrovnik, Croatia, June IEEE Software Component Technologies for Real-Time Systems An Industrial Perspective, In 24th Real-Time Systems Symposium, Work In Progress Session Cancun, Mexico, December 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 IEEE* Evaluation of Component Technologies with Respect to Industrial Requirements, In Euromicro Conference, Component-Based Software Engineering Track Rennes, France, August 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 * 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 * Optimizing Resource Usage in Component-Based Real-Time Systems, In the 8th International Symposium on Component-based Software Engineering (CBSE8), May * Technical Reports: Interference Control for Integration of Vehicular Software Components, MRTC Report ISSN ISRN MDH-MRTC-162/ SE, Mälardalen Real-Time Research Centre, Mälardalen University, May An Industrial Evaluation of Component Technologies for Embedded-Systems, MRTC Report ISSN ISRN MDH-MRTC-155/ SE, Mälardalen Real-Time Research Centre, Mälardalen University, February Component Based Software Engineering for Embedded Systems - A literature survey, MRTC Report ISSN ISRN MDH-MRTC-102/ SE, Mälardalen Real-Time Research Centre, Mälardalen University, June A Sample of Component Technologies for Embedded Systems, Technical Report, November 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 5 of :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 , 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 , ISBN , Västerås, 2005 Planerad utformning av avhandlingen Utformningen kommer att planeras ett år före avhandlingen, dvs Utformningen har planerats Plan för handledning Omfattning Kontinuerligt samarbete med handledarna och inom forskningsgrupp

6 6 of :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 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).