Final Report1 Mälardalen Real-Time Research Centre 1999 ... · A research profile supported by the Knowledge Foundation Contact: Hans Hansson Mälardalen Real-Time Research Centre

The KK Foundation Research Profile MRTC – Final Report 1999-2004 - DRAFT

1

Final Report1 Mälardalen Real-Time Research Centre 1999-2004

A research profile supported by the Knowledge Foundation

Contact: Hans Hansson Mälardalen Real-Time Research Centre

Mälardalen University Box 883 721 23 Västerås, SWEDEN

[email protected]

1 The final report should be written in English and be no more than 30 pages long (apart from appendices). Below is a proposed outline of the report, which may of course be modified when appropriate.


2

Summary2 This report presents the results and activities of MRTC during the six years (1999-2004) of the profile grant from KKS. During these years the centre has expanded substantially, as indicated by the below diagrams. Mälardalen Real-Time research Centre (MRTC) was formally established January 1st 1999 as the result of a profile grant from the KK-foundation (KKS) and a focused effort on real-time related research since 1987 at the Department of Computer Science and Engineering (IDt) at Mälardalen University (MdH) in Västerås. MRTC organises all research and postgraduate education at the department of Computer Science and Engineering (IDt), at Mälardalen University (MdH) in Västerås, Sweden. The research covers a wide spectrum – from pure computer science to applied electronics – but with an emphasis on computer engineering and software.

Budget (MSEK) 1998-2004

0

5

10

15

20

25

30

Agencies MdH Indust ry

Senior researchers 1998-2004

0

2

4

6

8

10

12

14

16

Profs. other

PhD-students 1998-2004

0

5

10

15

20

25

30

35

40

Indust r ial ot her

Exams 1998-2004

0

2

4

6

8

10

12

Lic PhD

In each pair of bars, the bar to the left indicates the situation 1998 just before the centre was created, and the bar to the right indicates the situation in 2004.

2 An executive summary of the report (1 page).


3

Content 1 The objective(s) of the programme ................................................................................. 4

1.1 Background, motivation .......................................................................................... 4 1.2 Vision ...................................................................................................................... 4 1.3 Concrete goals ......................................................................................................... 4 1.4 Commission given by the Knowledge Foundation ................................................. 6

2 History of the programme .............................................................................................. 6 2.1 Organisation ............................................................................................................ 6 2.2 Management ............................................................................................................ 8 2.3 Changes during programme period ......................................................................... 9 2.4 The larger setting of programme ............................................................................. 9 2.5 Programme Funding ................................................................................................ 9 2.6 Programme board .................................................................................................... 9

3 The scientific results of the programme ........................................................................ 10 4 The PhD Students of the programme ............................................................................ 13

4.1 courses ................................................................................................................... 13 4.2 Research Schools and international exchanges ..................................................... 15 4.3 Routines for quality assessment ............................................................................ 15 4.4 Where did all our students go? .............................................................................. 16

5 Impact of the programme - to undergraduate education................................................ 16 5.1 The interaction between the programme and the undergraduate education .......... 18

6 Collaboration with industry........................................................................................... 19 6.1 Modes and forms of cooperation........................................................................... 19 6.2 Companies and collaborations............................................................................... 19 6.3 Strategies for industrial collaboration.................................................................... 20

7 Impact of the programme – to industry ......................................................................... 23 8 Impact of the programme – to society ........................................................................... 24 9 Impact of the programme – to the academic system ..................................................... 24

9.1 National research collaborations ........................................................................... 24 9.2 International research collaborations..................................................................... 25 9.3 International mobility ............................................................................................ 29 9.4 Contribution to the research system ...................................................................... 30 9.5 New directions....................................................................................................... 30 9.6 Relation to and impact on the local university ...................................................... 30

10 Communication activities .......................................................................................... 31 10.1 Industry targeted communication activities........................................................... 31 10.2 Other academic and public communication activities........................................... 31

11 Continuation of the programme's activities............................................................... 32 11.1 The value added to the research system ................................................................ 32 The long term perspective ......................................................................................... 33

12 Economic report ....................................................................................................... 33 13 SWOT analysis .......................................................................................................... 34


4

1 The objective(s) of the programme3

1.1 Background, motivation The Real-Time profile proposal (MRTC) was initiated by an invitation in February 1998 from the KK-foundation to Mälardalen University to propose the establishment and build up of a research profile based on a proposal submitted in 1997. There were several reasons for the university to choose this profile, the most important being

• The real-time systems research group at the Computer Engineering department was the strongest research group at the university, and the university board had consequently identified real-time systems as the highest priority research area at the university.

• Real-time systems are of paramount importance to Swedish industry, since many Swedish companies are designing and manufacturing products with real-time systems as vital components. This is particularly true for the Mälardalen region, with important companies such as ABB, Volvo and Ericsson, not to mention the many rapidly growing smaller and medium size enterprises (SMEs).

• Real-time systems research is multidisciplinary in that it (at least) includes aspects of Automatic Control, Computer Science, Computer Engineering and Electrical Engineering. Hence, strong real-time systems research will not only be a positive “role-model" for establishing research in other areas, but it will also be instrumental on a technical level.

After a successful evaluation by a panel from the US National Science Foundation, the KK-foundation decided to support the MRTC-profile with 36 MSEK during 1999-2004, given an industrial involvement of at least the same level.

1.2 Vision MRTC was guided by the three-pronged vision:

• to provide state-of-the-art competence for industry; • to do basic research in novel and relevant areas; • to educate engineers and researchers.

1.3 Concrete goals The goals of MRTC included

• to be an internationally leading research center in real-time systems; We have substantially increased our international presence in terms of publications, co-operations, services to the scientific community, etc. in the area of real-time systems. But not only this, we have also established a reputation in Software Engineering, and also to some extent in other areas, such as AI and Data Communication.

• to establish a research oriented MSc Program in real-time systems; We have established such a program, as well as similar programs in Computer Science and Software Engineering. However, the volume (number of students) is –

3 A description of the programme with regard to: Background, motivation and long term vision (10-15 yrs). Throughout the report comments on the position and results achieved so far compared with the objectives, milestones, and deliverables expressed in the programme plan should be included


5

even if all these programs are taken together – less than initially planned. One contributing factor to this is the general drop in IT during the period.

• to establish a nationally leading Licentiate School in real-time systems; We did establish an industrial licentiate school, which now has transformed into the Save-IT industrial graduate school, and we have educated a large number of licentiates. However, the licentiate school has not as strong identity as initially expected. This is simply since the graduate education has increased more rapidly than initially expected, and that we haven’t found any reason for singling out the Licentiate level; rather our ambition is that all PhD-students should finish with a PhD.

• education of PhDs, Licentiates and MSc. The following number of degrees are planned for:

Year 1998 1999 2000 2001 2002 2003 2004 Total Research oriented MSc:s 0 8 10 15 15 15 15 78 Licentiates 3 2 10 10 12 9 12 58 PhD:s 1 0 2 3 3 5 2 16

Actual result including expected results for two following years: Year 1998 1999 2000 2001 2002 2003 2004 Sum

until 2004

2005 2006 Total

MSc:s 0 8 9 9 20 5 15 66 - -4 - Lic:s 3 1 3 3 3 12 9 34 8 9 51 PhD:s 1 0 2 1 1 1 3 9 8 12 29 At first glance these figures may be interpreted as a failure (reaching only 60% of the target numbers over the programme period). However, reality is that we have exceeded expectations. The following should explain the discrepancy: The initial plan was based on a theoretical calculation assuming that we could recruit students at a higher pace initially than what actually has been possible, i.e., students have in reality started their study later than planned and we have started spending the grant later than initially planned. There will be a large number of degrees during 2005 and 2006 that have been made possible by recruitments during the profile period. In fact the total number of degrees will exceed the planned number, since the actual number of PhD-students substantially exceeds the initial plan (more on this below).

• to increase the industrial involvement in research and graduate education, both by increasing the number of industrial graduate students (engineers entering graduate education) and the number of cooperation projects.

We have substantially exceeded our expectations here. We have some 20 industrial PhD-students right now and are actively cooperating with some 40 companies. The value of the

4 The MSc programmes have been included and integrated in the new international MSc programmes within MIMA (Mälardalen International Master Academy). The programmes that descend from the MRTC MSc programmes (Computer Science with Artificial Intelligence Profile, Computer Science with Software Engineering Profile, International Project Management, Robotics and Real Time Systems) attracted 1 642 applicants from all over the world and eventually 98 students were accepted.


6

support (in various forms; mainly costs related to industrial PhD-students) provided by industry is now exceeding 10 MSEK/yr.

• The following table summarises the expected size of MRTC 2004, as expressed in the initial application in 1998, and with actual numbers for comparison.

We have substantially exceeded our expectations. The main reason is that we have made more strategic recruitments of senior researchers than initially planned, and that the recruited researchers jointly have been able to get more external grants and have generated more results and activities than planned.

1.4 Commission given by the Knowledge Foundation5 The objective stipulated in the contract was to build a competitive academic force and a nationally relevant research environment with MRTC, which should endure and be enforced after the contracted programme. Through scientific evaluations, competitive recruitment of senior researchers and industrial cooperation it is obvious that MRTC has been able to establish that position.

2 History of the programme 6 At its inception, MRTC was organized in 3 research laboratories – The Real Time Systems Design Laboratory, the Computer Architecture Laboratory and the Computer Science Laboratory. Across these laboratories three interrelated and mutually supportive sub-programmes were launched:

• The MSc programme in Real-Time Systems, • The Graduate School, • The projects and the research infrastructure.

A strong industrial network made it possible to already from the start initiate several research projects with industrial participation, in many cases in the form of industrial graduate students (i.e. students employed by participating companies). An important decision taken during the first year of the programme was to spend the funding from KKS not only on running the centre and on the projects with (matching7) industrial involvement, but also to use the KKS-funding for recruitment of senior researchers and on supporting new activities that only in a longer perspective will have a balanced budget.

2.1 Organisation MRTC has a scalable matrix-organisation with research laboratories as vertical entities, as shown below.

5 Commission given by the Knowledge Foundation, incl. objectives stipulated in the contract with the Knowledge Foundation. 6 The history of the programme with emphasis on: The conception of the programme [to be continued] 7 According to the statutes of KKS, and in accordance with the contract for the profile grant, funding from KKS will only be made available if participating industry invest an equal – or larger – amount in the programme.


7

Software Engineering Lab

Prof I. Crnkovic

RTS Design Lab

Prof H. Hansson

Computer Architecture Lab

Prof. L Asplund Moahmmed El

Shobaki

Computer Science Lab

Prof B. Lisper

Research Projects

International Master Years (MIMA) Directors: Dr. Peter Funk/Dr. Jan Gustafsson and Prof. Gerhard Fohler

Undergraduate education Directors: Åsa Lundkvist and Mohammed El Shobaki

Postgraduate School Director of postgraduate studies: Prof. Björn Lisper

Industrial Graduate School Director: Prof. Ivica Crnkovic

Steering Committee

Director

Prof. Hans Hansson Assistant Director

Prof. Christer Norström

Advisory board

The research labs represent competence areas in which basic research, as well as graduate and undergraduate education, is conducted. The applied research projects use the resources of the labs and provide them with a context and applied problems. The laboratories are responsible for performing research and providing resources in terms of teachers and supervisors for the following horizontal entities:8

• Research projects, which are performed within the labs, between labs and/or with external partners. Each research project has a project leader responsible for the project budget and progress.

• Postgraduate school, including PhD and Licentiate programmes. The graduate school is responsible for the graduate courses not included in the MSc program, as well as admittance and progress of graduate students. The actual project work and supervision is performed within the research labs and projects.

• The industrial graduate school of which SAVE-IT ios an important part is a separate programme within the postgraduate school, with annual admission of a group of industrial graduate students.

8 Describe the organization of the undergraduate education in relation to the programme.


8

• The international master years are one-to one and a half year programmes for special education of students towards research in one of the subjects defined by the programme. Closely connected to the department research, the students receive special guidance to be well prepared for research in scientific and industrial environments. The former MSc programmes (magister year) in Real-Time Systems and Computer Science have been included and integrated in the international MSc programmes.

• Undergraduate education is administrated by the director of undergraduate studies, which assigns courses to the different labs. The assignment of teaching staff to courses is decided within the labs. Course and curricula development is performed on initiative both from the research labs and the director of undergraduate studies.

From 2005 the organization is different, partly due to the merge with the Department of Electronics. From 2005 there will be 13 research groups, with typically two senior researchers each and a group of approximately 6-10 PhD students. The will furthermore be organised into two research profiles: Intelligent Sensor Systems (ISS) and MRTC. MRTC will keep its steering committee and advisory board, but share a management group with ISS consisting of Hans Hansson, Ylva Boivie, Christer Norström, Jan Gustafsson (director of graduate studies), Björn Lisper, Lars Asplund, Maria Lindén and Ivica Crnkovic.

2.2 Management The management, evaluation and monitoring of progress of MRTC is handled by

• MRTC Steering Committee, which consists of leading representatives from the labs and research projects. Main tasks include to o propose distribution of funds to labs and projects. The actual decisions will be

made by the department board. o be responsible for the long-term strategic planning of MRTC.

• MRTC Director, who chairs the Steering Committee and is responsible for general grants to MRTC, such as the support from the KK-foundation and support from MdH. Main tasks include to co-ordinate applications, prepare and co-ordinate progress reports and evaluations. The management and planning of actual activities (projects, courses, etc.) is handled by the research laboratories.

• Advisory board, which annually reviews the progress and plans of MRTC from both an industrial and scientific perspective. The board should also suggest corrective actions. Current members of the advisory board are: o Prof. Alan Burns, Univ. of York, England o Vice President Research and Innovations Bernt Ericson, Ericsson o Dr. Peter Lidén, Volvo Technical Development o CEO Göran Lundin, Prevas o Vice President Christer Ramebäck, Process Automation Division, ABB

Automation Products AB o Prof. Hans Skoog, ABB Corporate Research o Prof. Jack Stankovic, Univ. of Virginia, USA o Prof. Jan Torin, Chalmers

• Lab coordinators (the lab-leaders), are responsible for maintaining and developing the labs. This includes co-ordination and planning of activities, as well as administration of the labs (e.g., handling the budget and representing the lab externally).


9

2.3 Changes during programme period9 No changes were induced by the Foundation or the original evaluation carried out by the Foundation, neither by the halftime evaluation

2.4 The larger setting of programme10 The MRTC KK-foundation profile grant has been used as basic funding for the activities at the MRTC research centre, very much in the same way as the university funding. Hence, the grant has been very important to establish a larger setting. This has allowed recruitment of senior researchers and a rapid build up of research activities. Since we have not treated the profile grant as a separate programme it would be an afterthought to present the activities actually supported by the KK-foundation grant.

2.5 Programme Funding11 The profile grant from KKS have been extremely important in the build up of MRTC, since it has provided funding that could be allocated and relocated relatively freely. This has been instrumental in allowing us to invest in new research without requiring a locally balanced budget from day one; the establishment of our AI group is an example of this. The value and importance of this funding has been (painfully) evident now after the ending of the profile grant. It is now much more difficult to make an MRTC-wide planning of activities and focus, since almost all our funding is pre-allocated to specific projects. The situation would be different if the MdH-funding would have been higher. Right now, virtually all our MdH-funding is used to cover miss-matches between funding periods and student study periods, and similar patches in the budget. Having less than 20% basic funding is definitely approaching – or even exceeding – the limit of what is possible to run a research centre on. Year 1999 2000 2001 2002 2003 2004 KKS share 18% 25% 23% 26% 20% 14% MRTC total in KSEK 14494 19800 26030 35509 45957 46411

The KK-foundation’s share of the MRTC funding.

2.6 Programme board12 No programme board was decided or agreed on in the contract. The advisory board is presented above.

9 In particular, what changes were induced by the Foundation or the original evaluation carried out by the Foundation? The changes made to the programme during its period. In particular, which changes were induced by the half-time evaluation carried out by the Foundation? 10 Describe briefly the larger setting of the programme, i e how it has complemented other activities of the participating research groups, incl. their financing, and how this has varied from the beginning to the end. 11 Please indicate the level of programme funding as overall share of participants’ funding during the programme. 12 List the members of the programme board in appendix A1 and their activities and responsibilities, as specified by the programme, in appendix A2.


10

3 The scientific results of the programme13 The scientific objectives of MRTC were rather broadly described in the application: “The vision that is guiding the MRTC research is to provide engineers with substantially better tools and methods for development of real-time computer systems. We identify three complementary (and sometimes conflicting) dimensions of the above vision:

• the time-of-development dimension with its focus on reducing lead times for real-time systems design and modification. Here, one goal is to develop Computer Aided Engineering (CAE) tools and methods that allow lead times to be reduced by an order of magnitude.

• the quality/correctness dimension with its focus on improving the quality of the design and the confidence in the correctness of the designed component/product. Here, one goal is provably correct designs, meaning mathematical proofs of all relevant aspects of the design, including proving that requirements related to behaviour, timing and reliability of the designed component/product are met.

• the size dimension with its focus on handling systems substantially more complex than the real-time systems that can be conveniently handled today. Here, one goal is to develop scalable methods and tools which allow order of magnitude larger systems to be designed. Another aspect of the size dimension is development of systems that are small in physical size (e.g., micro-mechanical devices). The development of such systems is made possible by dedicated hardware, e.g., as developed by our Real-Time Systems Architecture Lab.

One important basis for the vision is that most industrial real-time systems are built from components of various origins. Hence, it is not feasible to build a reasonably sized system with exclusively tailor made components. Some will be purchased, some will be inherited from existing systems, and they will not always make a perfect match. Consequently, there is an urgent need for a better scientific foundation on how to develop this type of heterogeneous real-time systems.” Final solutions to the outlined problems have (naturally) not been developed. On the other hand, we have conducted substantial amounts of research in these areas – contributing to the advancement of knowledge. To illustrate our scientific contributions we highlight the following research results:

• A new techniques aimed at improving existing response-time analysis (RTA) methods for analyzing/ensuring the temporal requirements of real-time systems. Concretely, the presented techniques lead to the following improvements: • The precision in the calculated response times for tasks with offsets are

significantly higher than with previous methods, typically being able to guarantee 15% shorter response times.

13 the background, motivation and original vision. A description of the research of the programme and its different projects. The following aspects are relevant: Describe the approach and the scientific results compared to the scientific objectives.

o List all projects that have been part of the programme at any time here and identify the researchers involved in each project. Include a description of the scientific results of each project. Comment on their degree of scientific success and explain briefly why some have been discarded/omitted before fruition (if any).

o List participating researchers (senior researchers, postdocs etc.) as appendix A3. Include year-of-birth and gender. o Enclose a full list of the publications pertaining to the programme as appendix A4. o Describe the most important activities (conferences, work shops, summer schools, industry meetings etc.) here, and include a

full list of events as appendix A5.


11

• The analysis, itself, can be made more than 100 times faster than with previous implementations

The advantages of applying RTA for tasks with offsets in a real industrial context indicate that both the scientific contribution and the industrial relevance of this research are high. Speeding up the RTA method for complex task models enables the practical use of RTA in engineering tools even for large systems. [Jukka Mäki-Turja and Mikael Nolin]

• A method for server-based scheduling for embedded communication, which using hierarchical scheduling, allows Controller Area Network (CAN) to be combined with server-based CAN. This provides a framework in which several "virtual CAN networks" can be overlaid on a single physical CAN network in a predictable and non-interfering way, allowing e.g., a predictable mix of communications with different quality-of-service requirements. [Thomas Nolte, Hans Hansson and Mikael Nolin]

• A real-time debugging methodology, which using a monitoring replay approach, allows debugging of multi-tasking distributed real-time systems. This result is the basis for the spin-off company Zealcore, which by the US Gartener Group has been identified as one of seven "Cool Vendors in Emerging Trends and Technologies 2005", [Henrik Thane and Hans Hansson]

• A method for reliability timing trade-off analysis. The approach has general applicability, but is developed with a focus on Controller-Area-Network-based automotive systems. The method considers the effect of faults on schedulability analysis and its impact on the reliability estimation of the system, and attempts to integrate both to aid system developers. The method can be used to prove that a system satisfy its timing requirements with a sufficiently high probability, even in cases where the worst case analysis deems the system unschedulable. From a reliability and cost perspective, the method emphasizes the tradeoffs between timing guarantees, the level of hardware and software faults, and per-unit cost. [Hans Hansson, Christer Norström, and Sasikumar Punnekkat]

• A probabilistic modelling language, methods and analysis tools to facilitate reverse engineering of large legacy systems with respect to dynamic properties. The reverse engineering results in a model that can be used to predict the temporal impact of modifications before they are implementated. The aim is to reduce the maintenance cost. The framework has been successfully used on a real industrial control system. Some of the tools developed are now used in industry. [Johan Andersson, Christer Norström and Anders Wall]

• An embedded database solution for vehicle control systems. Vehicle control systems have sparse amount of resources both with respect to memory and bandwidth. A novel method for efficient access of data – called database base pointers – and a mechanism for allowing both soft and hard database transactions to coexist without jeopardizing the hard transactions have been developed. The idea has attracted attention from venture capital and funding has been granted for building a first prototype.[Dag Nyström, Christer Norström and Mikael Nolin]

• Scheduling methods to combine scheduling schemes which have been considered exclusive, i.e., earliest deadline first, fixed priority, and offline scheduling. The new algorithms are based on servers to enable co-existence of the diverse scheduling schemes. One of the algorithms allows a distributed, offline scheduled system to handle overload situations of aperiodic tasks efficiently, while protecting the offline tasks. [Gerhard Fohler and Tomas Lennvall with partners in the EU project FIRST]


12

• A method to execute offline schedules on event triggered, fixed priority scheduled systems. It assigns attributes to the tasks in the offline schedules, such that when they are executed with FPS, the original scheduling table will be recreated. Together with further transformation algorithms, schedules can be developed independent of runtime system, reused, and exchange to form the basis for a component based real-time scheduling architecture.[Gerhard Fohler + Radu Dobrin]

• A Quality-of-Service architecture for system state information in home entertainment networks with partners in the EU project FABRIC. It provides for a decentralized interface between devices and resource management. In addition, a thorough analysis of MPEG streams was performed to determine, together with Philips Research, realistic timing constraints for real-time scheduling as basis for quality aware frame selection. [Gerhard Fohler and Damir Isovic]

• A method for providing predictable assembly from software components. The method defines the principles for component specifications, use of composability theories and validation procedures for estimation the accuracy of the prediction. The method is demonstrated by experiments and a discussion of two different attributes: latency and consistency. [Magnus Larsson, Ivica Crnkovic]

• A method for synchronizing software development process models with decisions models. The method shows how different development process models which are not necessary sequential development models (such as Rational Unified Process model, or Extreme Programming life cycles) can successfully be combined with decision models (such as the Stage model, or the ABB Gate Model) which are typically sequential models. [Christina Wallin, Stig Larsson, Ivica Crnkovic]

• Methods and tools for worst-case execution time (WCET) analysis, including an abstract-interpretation based method for automatic flow analysis of programs, a fast probabilistic method for estimation of cache missratios in loops, a method to ensure fully predictable cache behaviour by dynamic cache locking, and a prototype tool - SWEdish Execution Time tool (SWEET) - for WCET analysis. Also, the industrial interest and applicability of WCET tools have been evaluated in a large number of industrial case-studies. [Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg]

• A hardware-based monitoring system that can be applied for non-intrusive run-time observations of real-time and concurrent computer systems. The monitoring system, designated Multipurpose/¬Multiprocessor Application Monitor (MAMon), is based on a hardware probe unit (IPU) which is integrated with the observed system’s hardware. The IPU collects process-level events from a hardware-implemented Real-Time Kernel (RTK), without perturbing the system, and transfers the events to an external computer for analysis, debugging, and visualisation. Moreover, the MAMon concept also features hybrid monitoring for collection of more fine-grained information, such as program instruction and data flows. Mamon is patented and is currently commercialized by RealFast under the brand name SocEye. [Mohammed El Shobaki, Lennart Lindh]

• Further development of the theoretical basis of case-based reasoning (CBR) enabling new applications, improved ability to classify time series and to automatically improve similarity measurements. Application of CBR to industrial and healthcare applications enabling improved ability of classification and diagnosis. Some results are already turned into, or integrated into products both in industry and in the health care sector. [Peter Funk and the group for artificial intelligence]


13

• Industrial Software Engineering (ISE) has a goal to improve software development and maintenance of complex long-lived industrial products with respect to time-to-marked, decreased costs and increasing quality. The focus of ISE is component-based software engineering (CBSE). CBSE concerns are building and maintaining systems from pre-existing components, and building components as reusable entities. ISE's research ares has been focused on a) Predictable assembly of components b) industrial lifecycle processes and component-based development. The main objective of "predictable assembly" is to "by construction" guarantee particular properties of systems/assemblies and in this way provide predictable component-based technologies. The basic approach is to identify a "construction interface" (an specification and mechanism to "wire" the components) and analytical interface (an specification and composition theories of particular properties). From component specifications and compositions the properties from components can be derived for assemblies. The accuracy of the compositions depends on the type of the property and underlaying theories and the results of compositions can be expressed in formal way or in a form of statistical distributions. [Ivica Crnkovic]

The complete list of projects is found in appendix 13 and for their scientific result we refer to their individual project home sites at www.mrtc.mdh.se. A representative sample of their publications will appear in appendix 14.

4 The PhD Students of the programme14 The graduate training at MRTC is a substantial part of the overall research training at the university. By the end of the programme period every third Ph D student at MdH was enrolled or paid through MRTC achievements. Especially the quality control and efficiency of the graduate education has contributed to the improved graduate training. The Ph D students have access to several senior researchers and formal supervisors as well, and an intense interaction with other Ph D students in other groups. Yearly follow-ups and milestone seminars ensure the progression in each of the graduate thesis projects. The department has also provided the university with a modern tool for quality assessment and follow-up of the PhD students’ efforts, through digitalization of the mandatory study plans.

4.1 Courses The following graduate courses have been offered: 1999

• Component-Based Software Engineering, attracting around 30 students 2000

• Component-Based Software Engineering (30 students) • MRTC Workshop on Scientific Writing (~10 students) • Advanced Functional Languages

2001 • Advanced Type Systems (Spring).

14 A brief description of the graduate training in the programme. At least the following aspects are relevant:

o Has the programme contributed to an improved graduate training? o List all new courses developed specifically for the programme here, and describe their characteristics compared to previously

available courses. For each course, specify the number of internal and external participants o List the Phd students and their exams (or lack of) in appendices A6-A9


14

• Advanced Functional Languages (self-study course, no fixed period). • Design of Real-time Systems (reading course, May-September). • Research Methodology for Computer Science and Engineering (Fall). • Planning of research projects (Fall, Licentiate School course) • Component-Based Software Engineering, advanced course (Fall). • Component Technologies (Fall).

2002 • Real-Time and Embedded Systems (Spring, CUGS) • Concurrency Theory and Time, (spring, with ARTES) • Formal Specification of Real-time Systems (Spring, with SICS). • Formalisms, Algorithms and Tools in Formal Methods for Real-Time

(spring/summer with ARTES) • Advanced Functional Languages (self-study course, no fixed period). • Research Methodology for Computer Science and Engineering (Fall). • Planning of research projects (Fall, Licentiate School course) • Component-Based Software Engineering, advanced course (Fall). • Component Technologies (Fall). • Introduction to Constraint Programming (Fall, with SICS).

2003 • Real-Time and Embedded Systems (spring, CUGS) • Component Based Software Engineering for Embedded Systems (spring) • European Summer School on Embedded Systems, (summer-fall) • Research Methodology for Computer Science and Engineering (fall) • Planning of research projects (fall, Licentiate School course) • Component Technologies (fall) • Concurrency Theory and Time (fall) • Advanced Functional Languages (self-study course, no fixed period) • Support for Popular Presentations

2004 • Philosophy of Computer Science • Research Methodology for Computer Science and • Professional Ethics in Science and Engineering, 5p. • Advanced Functional Languages • Artificial Intelligence in Depth • Case-Based Reasoning • Component-Based Software • Component Technologies • Research project planning • Methodologies in Case • Distributed Software Development, 5 cu,


15

The courses have attracted students not only from Mälardalen University but also from industry, and other universities such as Uppsala University and KTH. Some undergraduate D-level courses were also advanced enough to serve as graduate courses:

• Parallel Systems, 5p • Component-based Design of Single-Chip Systems, 5p • Case-based Reasoning, 5p • Introduction to System-on-Chip, 5p • Computer Graphics, 5p • Real-Time Systems, advanced course, 5p • Safety-Critical Systems, 5p • Distributed Real-Time Systems, 5p • Multi-processor Systems, 5p • Semantics of programming languages, 5p • Logic Programming, 5p • Artificial Intelligence project (RoboCup), 5p • Engineering of Complex Embedded Systems, 5p • Professional Ethics, 5p • Distributed Software Development, 5p • Scientific Methodology for Computer Science, 5p

4.2 Research Schools and international exchanges MRTC has contributed to, or directed research training within research schools as ARTES, ARTES ++, CUGS and SAVE-IT. International exchange and participation in graduate schools can be seen as recognition that the university’s postgraduate programmes have attained a critical mass and maintain a high academic standard. The universities that accept exchange students or participate in the international partnerships vouch for this quality. The university’s regulations provide all postgraduate students with the possibility of spending at least two months at a higher education institution or the research section of a company abroad. All postgraduate students are expected to take part in at least two international conferences before they take their PhD. The availability of funding for these purposes is required when students are enrolled on postgraduate programmes.

4.3 Routines for quality assessment The graduate students’ achievements are evaluated in different ways, beside the regular control points of the post graduate education. There are annual follow-ups and quart time evaluations. One year after enrolment the student will present a licentiate thesis proposal, and a year after licentiate graduation a doctoral thesis proposal. Every year will the faculty jointly evaluate and assess each of the student’s efforts. There is a director of graduate education in control of all mandatory quality documents. The enrolment process, as well as the quality management as a total is monitored by the director of graduate education.


16

4.4 Where did all our students go?15 List of graduated students (PhDs and lic-students that are currently not pursuing their studies):

Student name Year of graduation

Degree Current position

Xavier Vera 2004 PhD Researcher at Intel Research in Barcelona

Magnus Larsson 2004 PhD Research Manager, ABB Research Peter Nygren 2004 Lic Establishing spin-off: Battery power

for industrial robots

Christina Wallin 2003 Lic Vice President, Process Key AB Anders Wall 2003 PhD Researcher at ABB Research Kristian Sandström 2002 PhD Development Manager at Zealcore (+

S.Lecturer/Researcher at MdH)

Stefan Sjöholm 2001 Lic President RealFast HW Consulting Jan Gustafsson 2000 PhD Senior Lect./Dept.Chair/Dir.of

Grad.Studies MdH Henrik Thane 2000 PhD President Zealcore (part-time research

groups leader at MdH)

Other young researchers from the MRTC environment that have established themselves as research leaders are ass prof Peter Funk, Dr Henrik Thane, Prof Christer Norström, Dr Mikael Nolin, Prof Gerhard Fohler, Prof Ivica Crnkovic, Prof Mats Björkman. This is in addition to the researchers that already before MRTC were established research leaders: Prof Björn Lisper, Prof Lennart Lindh, Prof Lars Asplund and Prof Hans Hansson.

5 Impact of the programme - to undergraduate education.16

MRTC researchers are involved in the teaching and development of the following undergraduate programs at MdH:

• Master of Science program in Computer Engineering and Electronics • Master of Science program in Robotics Engineering • Computer Science • Computer Game Development and Interaction • The MSc-programmes (MIMA):

o Computer Science with Artificial Intelligence Profile o Computer Science with Software Engineering Profile o Electronics with Biomedical Engineering Profile

15 Which younger researchers have been able to establish themselves as independent group leaders in academy or research leaders in industry as a result of the programme?

16 Impact of the programme - to undergraduate education. Describe the programme´s long-term relevance and impact on undergraduate education:


17

o International Project Management o Robotics o Real Time Systems

International MSc-programmes in 2004 All international master years are one-to one and a half year programmes for special education of students towards research in one of the subjects defined by the programme. Closely connected to the department research, the students receive special guidance to be well prepared for research in scientific and industrial environments. The former MSc programmes (magister year) in Real-Time Systems and Computer Science have been included and integrated in the international MSc programmes. The MSc students have access to all the facilities at the departments and are provided their own workspace. The program consists of one semester of course work and one semester of thesis work. All lectures are given by researchers in the field, and individual assignments are given to improve practical "learning by doing". The courses are mainly on D-level. In 2004 we offered the following international MSc-programmes within the newly established Mälardalen International Master Academy (MIMA): Artificial Intelligence In this program the student may chose the length of his/her studies depending on how much he/she wants to penetrate the subject. During the last semester the student will carry out and write a Master degree project. The project may even last for one and a half semester. The degree project can specialize on e.g., intelligent systems, decision support system, embedded AI, AI in games, intelligent agents or in some field or application you have special interest in. The project is typically carried out within the research group of AI, some of the other research groups or at some company the department and AI group collaborates with - there are several companies in the region with applications where AI is essential - ABB, Volvo, Bombardier, Ericsson to mention some. The courses can be selected and combined in different configuration to give the profile the student prefers and courses from other programs may also be selected. Computer Science with Programming and Specification Languages This is a program in Computer Science that specialises in Programming and Specification Languages. The students will work close to the research group in Programming and Specification Languages, which currently runs research projects in execution time analysis, data cache analysis, dimensional inference for modelling languages, and event algebras for high-level programming of embedded systems. Following a course in Research Methodology in Computer Science, you will take advanced Computer Science courses and write a Master degree project. The project is typically carried out within the research group in Programming and Specification Languages, but it could also be done within some other research group at the department or at some company having research cooperation with the department. Computer Science with Software Engineering This program specialises in Computer Science and Software Engineering. Following a course in research methods for computer science, you will take advanced courses in computer science and write a Master degree project. Experts within the field will give the lectures. The degree project can be performed within one of the research areas of the department, in close co-operation with researchers and graduate students. Another possibility is to perform the project at some of the companies with which the department has active co-operation, for example ABB or Ericsson. Real-Time Systems The master's year in real-time systems provides education for students to pursue further


18

careers in realtime areas, both academic and industrial. It provides a comprehensive set of introductory courses, forming a basis for real-time research, including real-time systems, hardware aspects, and safety critical systems. Furthermore, training is given for scientific methodology, to keep track of rapid developments in the field and prepare for conference publications and presentations. A master's project provides further insights in a specific area by working on a state-of-the-art research project.

Robotics The programme runs over three semesters mainly due to a philosophy to start with theory and later in the programme specialize in one area, with an experimental approach. In a larger project course students with different specialization work together to design and build complete robots or complete subsystems to a robot. An example of projects in the past has been mid-size robots (F2000) for robocup. There are two different profiles, Electronic Control and Computer Architecture and System on Chip.

5.1 The interaction between the programme and the undergraduate education17

MRTC has a strong relation to undergraduate and graduate (master) education. The courses taught in the fourth year (and some in the third) are strongly related to the research focus of MRTC. Most of the D-level courses are also classified as postgraduate courses and are given for both undergraduate and postgraduate students, with somewhat different requirements for these two categories. Some such courses are Advanced Real-time systems, Advanced component-based software engineering, Distributed software development, Ethics and professionalism, and Research methodologies. A number of master thesis are defined as part of the research projects and are directly supervised by MRTC researchers. In the last three years, about 10 Master students have been involved in the writing of peer-reviewed research papers.

MRTC is initiator and a coordinator (Ivica Crnkovic) of the Erasmus/Mundus EU Master education SEEM (Software engineering European Master) application submitted 2005 (the evaluation process is still ongoing). The application is developed and submitted by four European universities (Vrije University, Amsterdam, Westminster Universty, London, L’Aqualia University, Italy and MdH).

Computer Science with Software Engineering Profile (MIMA) MRTC is the most attractive program for the technical sciences enrolling 20-30 students per year. In addition to web-advertisements, MRTC puts efforts to attract students from targeted universities (intercontinental and European); Several students from these universities have made their Master thesis at MRTC, or have studied at MdH using Erasmus/Socrates support. Some of these Universities are L’Aqualia University, Eindhoven University, Linz University, and Sofia University.

MRTC has extensive collaboration in teaching using Erasmus/Socrates support or obtaining direct cooperation agreements. The Distributed software development course is given for the third time in cooperation between University of Zagreb and MdH (Ivica Crnkovic), and several papers describing experiences from this cooperation has been published. 17 Describe the interaction between the programme and the undergraduate education.

• List of new courses developed (and to be developed) by the programme. Describe their characteristics compared to previously available courses.

• List of the programme’s researchers partcipating in the undergraduate education with relevance to the programme. • Describe the recruitment of PhD students from the undergraduate education.


19

A strategy for the future undergraduate education at IDE is currently being discussed. It seems likely that – in light of the Bologna process and our strong focus on research – we will put even more emphasis on the Master-level and integrate our research even further in the undergraduate education.

Undergraduate courses developed by the programme are listed in Appendix 15. The researchers participating in the undergraduate education with relevance to the programme will equate the total list of researchers in Appendix 3.

At least every second new graduate student has been recruited from the undergraduate programme at the department.

6 Collaboration with industry18

6.1 Modes and forms of cooperation Almost all our projects and activities include industrial partners. The co-operation with industry comes in many forms, including:

• Joint projects, with or without support from external funding agencies • MRTC staff performing case-studies in industry • MSc thesis projects • Industrial graduate students • Industrial engineers and researchers participating in MRTC projects • Industry providing equipment and software • Direct monetary support (donations) • Guest lectures and field trips • Spin-off companies

6.2 Companies and collaborations The following companies are involved in our research projects:

18 A critical comparison of the improvements in collaboration with industry attained with the objectives stated in the programme plan. Compare the programme in this aspect with previous and parallel forms of research and graduate training. Describe and where possible quantify the objectives, the forms, the extent and the contents of the following types of cooperation:

• Scientific collaboration (shown in joint subprojects, publications etc.). How does the Industry contribute in the research programme? What is the company’s role and tasks within the project?

• Collaboration regarding supervision, mentoring, contracts for joint projects, innovations and prototypes based on research performed within the programme, etc.

• How would you like to further improve the collaborations?


20

• ABB (Automation. Robotics, and Corporate Research),

• Arcticus Systems, • Bombardier Transportation, • CC-Systems, • Enea Embedded Technologies AB, • Ericsson (Microwave, Radio Systems,

Research, and Utveckling), • Euroling AB, Eyescream, Funkai

Intelligent Solutions, • Funkai Intelligent Solutions • Gatorhole AB, • Hectronic AB, • IAR Systems, • Level TwentyOne AB, • Mimer Information Technology AB, • Mitsubishi research labs, • Boston, US, • Mecel AB, • Outocumpu, • Avesta Steel Mill, • PBM StressMedicine AB,

• Philips Research, The Netherlands • Protang AB, • RealFast AB, • Rolls Royce aircraft engine design,

UK, • Saab (Aerospace, Avionics,

Combitech), • SenseBoard Technologies AB, • Siemens Business Systems, Germany, • SKF, • TeliaSonera, • Thomson Multimedia, • Tieto Enator, • TTTech, Austria, • Volcano Communication

Technologies AB, • Volvo Car, • Volvo (Construction Equipment,

Technology Development, and Truck), • XILINX, • ZealCore Embedded Solutions AB • ÅF

In addition to the above research cooperation with industry, MRTC research has resulted in several spin-off companies, including the following product companies:

• Zealcore Embedded Solutions, which recently received venture capital to accelerate development and sales of its innovative embedded computer systems debugging technology. Henrik Thane, Hans Hansson, Christer Norström, and Kristian Sandström founded the company in 2001. [www.zealcore.com]

• The RealFast group, includes five companies, specialising in hardware accelerators and multiprocessor technology, as well as related education, operating system development support, software and hardware consulting) Lennart Lindh founded the first company in the group 1995. [www.realfast.se]

6.3 Strategies for industrial collaboration To further develop our interactions with industry we are establishing more long-term bilateral cooperations with some of our main industrial partners. It is our ambition to establish such co-operation with additional companies as well, and also to make MRTC a “hub” for co-operations between groups of companies in specific areas. An example of the latter is our plans to establish an industrial competence centre in Software Engineering, allowing companies in different sectors to exchange experiences and ideas with MRTC as catalyst. Currently we have strategic long-term co-operations with four companies: ABB research, ABB Robotics, Volvo Construction Equipment, and Ericsson. Essential for the success of these types of co-operations, are long term goals and mutual benefits for both


21

partners, as well as persons maintaining the portfolio. We believe that this way of working together is a model for the future. Some details about these cooperations: ABB Research – The cooperation includes common projects, several industrial PhD students and, master students, participation in courses, common works on different applications, etc. In 2004 the following concrete results have been achieved:

• Two ABB CRC employees worked 50% as industrial PhD students. One (Magnus Larsson) obtained his PhD in March 2004.

• MRTC and ABB CRC organised or have been active in organisation of several international workshops and conferences

• ABB CRC employees have been guest lecturers at several courses at MdH • Several international guest researchers have had talks for ABB employees • Several master theses have been conducted jointly by ABB and MRTC • About ten joint papers were published and presented international conferences • MRTC, ABB CRC and Software Engineering Institute at Carnegie Mellon

University have a successful cooperation Common research policy and building a portfolio of common research activities are periodically discussed and updated. Dr. Fredrik Ekdahl from ABB CRC and Prof. Ivica Crnkovic from MRTC have the main responsibility for building and maintaining the strategic cooperation. ABB Robotics – We have established a joint portfolio between ABB Robotics and MdH, including joint projects, industrial graduate students, courses, master thesis, trainee positions, and job rotations. In 2004, the portfolio consisted of:

• two research projects REMODEL and OpenController, supported by ABB Robotics, ABB Research, MdH, KKS and ASTEC. The projects are staffed by industrial graduate students, and permanent staff from both ABB and MdH. These projects are also closely connected to a collaboration project between ABB and Software Engineering Institute at Carnegie Mellon University. Several papers have been published.

• Joint participation in a EU Network of excellence (ARTIST-2). • Organisation of several workshops • Several master theses, conducted at ABB Robotics by MdH students. • More than 20 trainee positions, provided for MdH students at ABB Robotics. • Two persons from ABB that now temporarily are working for MdH.

The portfolio is evaluated four times per year. The portfolio is managed by Staffan Elfving, ABB Robotics and Christer Norström, MdH.

Volvo Construction Equipment – Mdh and Volvo CE have collaborated for more than ten years, including joint projects, industrial graduate students, master theses, courses, and industrial stays. The current portfolio consists of: • Three research projects Drive , HEAVE and Grön bil. The projects are staffed by both industrial graduate students and staff from both MdH and Volvo. • Volvo personnel are members in steering groups for several projects. • Joint workshops • Several master theses.


22

• Jobrotation where two PhD students at MdH have been working at Volvo to get an understanding in the challenges in development and maintenance of control system for heavy vehicles.

Ericsson – MdH and Ericsson have been collaborating for several years, in different areas. One example is Ericsson Microwave, where co-operations in the area of information systems, product data management and software configuration management are established. As of 2003 we have also initiated a co-operation around PLEX, as well as in Testing and Debugging. For more details about industrial involvement in the different research projects, please consult the project presentations in the chapters presenting the laboratories.

This strategy has resulted in substantial industrial support, including:

• a 9.6 MSEK donation from ABB for recruitment of a professor in industrial software engineering (Ivica Crnkovic) and for enforcing our research in this area

• graduate students funded by the research institute SICS (which has established a branch at MRTC in Västerås):

o Markus Bohlin (contact at SICS: Björn Levin; supervisor at MdH: Björn Lisper)

o Waldemar Kocjan (Björn Levin; Björn Lisper)

• a graduate student employed by the Software Engineering Inst., CMU, Pittsburgh, US

o Kurt Wallnau (Linda Northrop; Ivica Crnkovic)

• a large number of graduate students funded by industry, including

Name Company Company contact Supervisor/initiator at MRTC

Frank Lüders ABB Automation Products

Ulf Moberg Ivica Crnkovic

Stig Larsson ABB Corporate Research

Fredrik Ekdahl Ivica Crnkovic

Christin Wallin ABB Corporate Research

Fredrik Ekdahl Ivica Crnkovic

Goran Mustapic ABB Robotics Peter Eriksson Christer Norström Johan Andersson ABB Robotics Peter Eriksson Christer Norström Kaj Hänninen Arcticus Systems Kurt-Lennart Lundbäck Mikael Nolin Mattias Ekman Bombardier

Transportation Erik Gyllenswärd Henrik Thane

Anders Möller CC-Systems Jörgen Hansson Hans Hansson, Mikael Nolin

Mikael Åkerholm

CC-Systems Jörgen Hansson Ivica Crnkovic

Johan Eriksson Ericsson Janet Wennersten Björn Lisper Sigrid Eldh Ericsson Hans Hansson, Henrik

Thane Annita Persson Dahlqvist

Ericsson Ola Gustavsson Ivica Crnkovic

Stefan Sjöholm RealFast Lennart Lindh Lennart Lindh, Hans Hansson

Andreas RealFast Stefan Sjöholm Hans Hansson, Mats


23

Löfgren Björkman Stefan Stjärnen RealFast Lennart Lindh Lennart Lindh, Denny

Åberg Joakim Fröberg Volvo CEC Nils-Erik Bånkestad Christer Norström Markus Lindgren ÅF Anders Hallgren Christer Norström

7 Impact of the programme – to industry19 The industrial relevance of the programme is almost self-evident from the massive industrial support provided. The basic reason for this quite extensive range of collaboration is our partners’ appreciation, not only of our competence of, but also of our senior researchers’ thorough understanding of industrial problems. We would in particular like to point out that

• Jakob Axelsson is responsible for long-term development of ECS at Volvo Cars, and has precious experiences from Carlstedt Research and Volvo Technical Development.

• Ivica Crnkovic has 10 years experience as development manager/project manager at ABB Automation.

• Christer Norström was manager for Motion Control and Applications at ABB Robotics 2001-2003, and has industrial experience also from four years at ABB Automation and from development work for Volvo and other companies.

• Sasikumar Punnekkat was the head of the software testing and reliability engineering division of Vikram Sarabhai Space Centre, and has 15 years of industrial experience in software development and testing.

The industrial partnership model is unique for Sweden and is based on close cooperation with industry on many different levels simultaneously. It is based on long and positive experience and can be described as a melting pot containing undergraduate and postgraduate programmes, research, projects in partnership, job rotation, industrial stays, public industrial symposia, industry sponsored postgraduate studentships, lifelong learning, expertise and entrepreneurship. ‘Portfolios’, as they are called, are developed together with companies to ensure that both their content and their organisation are well suited for all involved. Forward-looking, two-way plans for the provision of skills are devised. Strategic research cooperation takes place on both short projects and more long-term research undertakings. This provides scope for mutual exploitation of industrial resources, either in authentic settings or valid laboratory environments at the university. Undergraduate programmes are also involved, for instance, through degree projects or internships. Today there are a large number of projects and about 20 industry-sponsored postgraduate students in strategic partnerships of this kind in addition to numerous courses and degree projects.

Systems that exemplify the benefit of the research and development of the profile are: • CC-system’s software engineering development environment

19 Describe the industrially relevant results of the programme. How has the programme ensured that the people and research produced within the programme are utilized by industry? List the innovations and prototypes that have been produced, spin-off companies founded or being contemplated, etc in appendix A10. Which research results of the programme have been (or will be) implemented by industry? Have the programme increased the company´s competetiveness? If so, how? Has the programme contributed to the company´s economic growth? If so, how?


24

• Tool for analysis at ABB Robotics • RTU/RealFast, • Real-time debugger Debugger/ Zealcore Embedded Solutions AB, • RUBUS++ a real-time operating system for hard real-time systems. Arcticus Systems

AB and Volvo Construction Equipment AB New enterprises are the most obvious contribution to economic growth of companies. CC-systems has a engineering lead through MRTC. The control system architecture of Volvo CE, developed at MRTC, is the base for a large business. Arcticus Systems AB is dependent on Rubus and the development tools for Rubus that descends from MRTC.

8 Impact of the programme – to society20 The dominating interaction with the surrounding society has been the many interactions with industry. In addition to the industrial contacts and interactions, MRTC and its researchers have interacted with society in many ways, including giving public lectures, interviews etc. as presented in the annual reports. Researchers at MRTC have been drivers for an industrial automation network and Robotdalen(Robot Valley). It is a ten-year project supported by Vinnova which has attracted extensive sponsorship and participation from industry, local authorities, counties and county councils in the region and which should be seen as one instance of collective endeavour by the entire region to encourage long-term growth. Its aim is to exploit innovation to generate products in industrial robotics, field robotics and the use of robots in health care. A specific and important activity has been interactions with elementary schools, in the forms of presentations, projects and competitions (such as the First Lego League competition). In addition to this we have run a program TeknIQ with the objective to help SME:s to use embedded systems in their products. The return of investment assessment has shown a large payback to the society.

9 Impact of the programme – to the academic system21

9.1 National research collaborations The researchers at MRTC have extensive cooperation with researchers at other research centres in Sweden through common national and international projects, the organisation of conferences and workshops on the national and international level and by direct collaboration in writing articles and additional supervision of graduate students. We are involved in several national research initiatives, including

• ARTES – SSF-funded programme 1998-2006, including researchers from all groups with real-time research in Sweden. Hans Hansson was programme director for ARTES 1998-2004, and almost all researchers and PhD-students at MRTC participate in ARTES.

20 Describe the societally relevant results of the programme. How has the programme ensured that the research produced within the programme are utilized by the society? Which research results of the programme have been (or will be) implemented by society? Describe the collaboration with society (supervision, mentoring, contracts for joint projects, innovations and prototypes based on research performed within the programme, etc.) 21 Describe the scientific collaborations between different disciplines and departments (shown in joint subprojects, publications etc). Describe the cooperation between the universities originally involved in the programme as well as with other universities (both scientific and administrative aspects).


25

• ASTEC – a Vinnova competence centre coordinated by UU (Kostis Sagonas/Bengt Jonsson), and with participation by MRTC. Björn Lisper is on the board of ASTEC, and he and Christer Norström are leading the three ASTEC projects at MRTC.

• CUGS – National graduate school in Computer Science, coordinated by LiU (Jörgen Hansson), with LU, HiS, ÖU, and MdH as additional partners. Björn Lisper is member of the steering committee of CUGS.

• FLEXCON – SSF-funded project coordinated by LTH (Karl-Erik Årzén). Ivica Crnkovic and Gerhard Fohler participate in Flexcon, and Hans Hansson is member of its steering committee.

• SAVE – SSF funded project, coordinated by Hans Hansson, and includes cooperation with LiU, UU and KTH.

• SAVE-IT – Industrial graduate school funded by the KK-foundation, coordinated by Hans Hansson and Mikael Nolin, cooperation with LiU, KTH and UU

In addition to these initiatives researchers from MRTC have active collaboration with a number of Swedish universities and research institutes, including

• Blekinge Tekniska Högskola – Main contacts: Clas Wohlin, Lars Lundberg, Lena Trojer (Ivica Crnkovic, Christina Björkman, Hans Hansson, Christer Norström)

• Chalmers, Computer Science and Engineering – Marina Papatriantafilou, Philippas Tsigas, Jan Jonsson, Per Stenström (Gerhard Fohler, Hans Hansson)

• Högskolan i Halmstad – Bertil Svensson, Magnus Jonsson (Hans Hansson, Christer Norström)

• Handelshögskolan Stockholm – Niclas Adler (Hans Hansson, Christer Norström) • KTH, DAMEK – Jan Wikander, Martin Törngren (Ivica Crnkovic, Gerhard Fohler,

Hans Hansson, Christer Norström, Mikael Nolin, Kristian Sandström) • KTH, IMIT –Axel Jantsch (Lennart Lindh) • KTH, Nada –Anders Lansner (Björn Lisper) • Linköping University, IDA, Simin Nadjim-Tehrani, Jörgen Hansson, Zebo Peng,

Petru Eles (Ivica Crnkovic, Hans Hansson, Christer Norström, Mikael Nolin) • Lund University – Karl-Erik Årzén, Klas Nilsson, Boris Magnusson, Ulf Asklund,

Thomas Akenine-Möller, Jacek Malec (Ivica Crnkovic, Gerhard Fohler, Hans Hansson, Björn Lisper, Christer Norström)

• SICS – Bengt Ahlgren, Björn Levin, Per Kreuger (Björn Lisper, Hans Hansson) • Högskolan i Skövde – Sten Andler (Ivica Crnkovic, Hans Hansson) • Uppsala University, IT Dept – Anders Berglund, Mats Daniels, Per Gunningberg,

Bengt Jonsson, Michael Thuné, Wang Yi (Christina Björkman, Ivica Crnkovic, Hans Hansson, Christer Norström)

• Örebro University, AASS – Peter Wide and Dimiter Driankov (Christer Norström)

9.2 International research collaborations22 MRTC researchers have relationships with many international researchers and research institutions involved in embedded computer systems and related research areas. We will

22 Describe the international collaboration, including participation in EU projects (shown in mutual projects, regular exchange of researchers, shorter visits etc.)


26

here give account for the most central groups and individuals that we are cooperating with. Before listing these we will present some of the infrastructure for our cooperation: • International associations and committees, including

Gerhard Fohler is chairman of the Technical Committee on Real-Time Systems of Euromicro, and member of the executive boards of IEEE Technical Committee on Real-Time Systems and IEE Professional Network on Real-Time Systems

Christer Norström is member of the Int’l advisory board for “The Industrial Information Technology Hanbook” (IEEE CRC Press), member of the Int’l advisory committee for IEEE Int’l Conf. on Emerging Technologies and Factory Automation, and member of the ERCIM Working Group on Dependable Software Intensive Systems.

• International conferences, workshops and summer schools include the following (as a sample):

The European Summer School on Embedded Systems 2003 (ESSES) hosted and organised in Västerås by Hans Hansson in cooperation with Sang Lyul Min (SNU, Korea). ESSES is one of the largest summer schools in the area. The school was sponsored by BK21 (Korea), ARTIST (EU), ARTES (Sweden) and CISS (Denmark), and attracted over 40 international lecturers and almost 100 students during a three-month period. (Gerhard Fohler and Henrik Thane lectured at ESSES)

Real-Time in Sweden 2003 – a national conference with both academic and industrial participation organised in Västerås by Kristian Sandström, Christer Norström, and others.

The Execution-Time Analysis Workshop organised by Jan Gustafsson in Porto. The industrial and work in progress sessions at IEEE Int’l Conf. on Emerging

Technology and Factory Automation 2003 in Lisbon, organised by Christer Norström.

The Euromicro conference – track on Component Based Software Engineering co-organised by Ivica Crnkovic

Component-based Software Engineering Symposium co-organised by Ivica Crnkovic

Conference on Software Engineering Research and Practise in Sweden co-organised by Ivica Crnkovic

11th symposium on Software Configuration Management co-organised by Ivica Crnkovic.

The 1st Workshop on Embedded Systems for Real-Time Multimedia 2003, for which Gerhard Fohler was programme chair.

MRTC researchers are on the programme committees of most of the leading conferences in the field; including the following in 2003: Conf. on Engineering of Reconfigurable Systems and Algorithms (Björn Lisper), Int’l Conf. on Software Engineering (Ivica Crnkovic), Workshop on Software Architectures for Dependable Systems (Ivica Crnkovic), Conf. on Fieldbus Systems and their Applications (Christer Norström), Int’l Workshop on Factory Communication Systems (Hans Hansson), IEEE International Workshop on Object-oriented Real-time Dependable Systems (Jan Gustafsson), IEEE Real-Time Systems Symposium (Gerhard Fohler), IEEE Real-Time Technology and Applications Symposium (Gerhard Fohler, Hans Hansson), Euromicro Conference on Real-Time Systems (Gerhard Fohler, Hans Hansson), Int’l Conf. on Principles of Distributed Systems (Hans Hansson), andEuromicro Conf. on Digital Systems


27

Design (Lennart Lindh), as well as more than 10 other int’l conferences and workshops.

• International networks ARTIST and ARTIST2 , are EU-funded Networks of Excellence which include

the leading researchers in Europe in Embedded and Real-Time Systems Design (32 partners in ARTIST2). Of these we have contacts with Verimag (F; Joseph Sifakis; coordinator), Technische Universität Wien (A; Hermann Kopetz), Uppsala Univ (S; Bengt Jonsson), Universität des Saarlandes (D; Reinhard Willhelm), OFFIS (D; Werner Damm), Aalborg University (Dk; Kim Larsen), University of York (UK; Alan Burns), CEA/Saclay (F; Francois Terrier), University of Twente (NL; Ed Brinksmaa), University of Pavia (I, Giorgio Buttazzo), KTH (S, Martin Törngren), LiTH (S; Petru Eles), LTH (S; Karl-Erik Årzén), University of Cantabria (SP, Michael Gonzales-Harbour), University of Aveiro (Pt, Luis Almeida), Technical University of Catalonia (SP, Joseph Fuertes), and Universidad Politechnico de Madrid (SP, Juan de la Puente). Jakob Axelsson, Ivica Crnkovic, Gerhard Fohler, Hans Hansson, Björn Lisper, and Christer Norström participate in ARTIST

EU Network CBSENet (Component-based Software Engineering Network) which includes researchers and industrial practitioners from EU including Ian Sommerville, Gerald Kotonya (Lanchester University, UK), Stefano De Panfilis (Ingegneria Informatica, Italy), Arne Berre (SINTEF, Norway), Kung-Kiu Lau (Manchester U, UK). Ivica Crnkovic participates in CBSEnet.

CABERNET I+II, European Network of Excellence in Distributed Computer Systems including more than 50 academic and industrial partners (www.newcastle.research.ec.org/cabernet/) Gerhard Fohler participates in CABERNET.

• International projects European IST project FABRIC - Federated Applications Based on Real-time

Interacting Components Architecture for a ubiquitous computing platform, EU IST Project, partners including Philips Research, TNO, Thomson Multimedia (Gerhard Fohler)

European IST project BETSY, which is a follow up project of FABRIC (Gerhard Fohler)

European IST project FIRST – Flexible real-time systems technology; partners University of York, UK, University of Cantabria, Spain, Scuola S. Anna, Italy. (Coordinated by Gerhard Fohler)

European IST project DOTS (Flexible and Eco-efficient paper Production through dynamic Optimization of Operational Tasks and Scenarios); partners include Technical University of Tampere and Oy Keskuslaboratorio Science and Consulting (Ivica Crnkovic).

PACC (Predictable Assembly of Certificated Components); project cooperation between Software engineering Institute/Carnegie Mellon University, MRTC and ABB Corporate Research, and ABB Robotics. (Ivica Crnkovic, Christer Norström, Anders Wall).

EAST/EEA is an ITEA-project aiming to improve handling of software in the European automotive industry. Partners include all major European car manufacturers, their suppliers and tool-vendors, as well as a number of research institutes and universities. (Mikael Nolin, Hans Hansson).

• Groups and individuals in the area that we are cooperating with, including


28

o In Europe

L’Aqulia University, Italy – Paola Inverardi (Ivica Crnkovic) Univ. of Aveiro, Portugal – Luis Almeida (Gerhard Fohler) Universitat de les Illes Balears, Spain – Julian Proenza (Hans Hansson) C-Lab, Paderborn Germany - Friedhelm Stappert and Peter Altenbernd (Hans

Hansson, Andreas Ermedahl) University of Cantabria, Spain – Michael Gonzalez-Harbour (Gerhard Fohler) Universitat Politecnica de Catalunya, Barcelona, Spain - Pau Marti, Joseph

Fuertes (Gerhard Fohler) University of Catania, Lucia LoBello (Hans Hansson) Technical University of Darmstadt – Neeraj Suri (Hans Hansson, Christer

Norström) Technical University Eindhoven – Michel Chaudron (Ivica Crnkovic) Philips Research, Eindhoven – Rob van Ommering (Ivica Crnkovic, Christer

Norström) Grenoble University, Grenoble, France - Jacky Estublier, (Ivica Crnkovic) London South Bank University – Nimal Nissanke (Kristian Sandström) Scuola Superiore S. Anna, Italy University of Pavia, Italy – Giorgio Buttazzo and

Giuseppe Lipari (Gerhard Fohler, Hans Hansson) University of York, UK – Alan Burns, Andy Wellings, Iain Bate (Gerhard Fohler,

Hans Hansson, Sasikumar Punnekkat) Technical University of Porto – Eduardo Tovar (Hans Hansson, Christer

Norström) Technische Universität Wien – Hermann Kopetz and Peter Puschner (Gerhard

Fohler, Hans Hansson, Björn Lisper) University of Zagreb, Croatia – Mato Zagar, Leo Budin (Ivica Crnkovic)

o In the US

University of California at Irvine (UCI) – André van der Hoek, Kwei-Jay Lin (Ivica Crnkovic, Hans Hansson)

Carnegie Mellon University, Software Engineering Institute, Pittsburgh – Kurt Wallnau (Ivica Crnkovic, Christer Norström, Hans Hansson)

Florida State University,- David Whalley (Mikael Nolin) Furman University, – Christopher Healy (Mikael Nolin) Georgia Institute of Technology –Vincet Mooney (Lennart Lindh) IEEE Industrial Electronics Society – Richard Zurawski (Hans Hansson, Christer

Norström) University of Massachusetts - Jim Kurose, Don Towsley (Mats Björkman) MIT – Prof Kristina Lundquist (Mikael Nolin) University of Michigan – Kang Shin (Hans Hansson) University of North Carolina – Sanjoy Baruah (Gerhard Fohler) University of Texas at Austin– Al Mok (Gerhard Fohler) TUFTS University Boston – Judith Stafford (Ivica Crnkovic) University of Virginia, Charlottesville, John A. Stankovic, Sang Hyuk Son, Tarek

Abdelzaher (Gerhard Fohler, Hans Hansson) o In other parts of the world


29

Indian Institute of Technology, Bombay, India – Krithi Ramamritham (Gerhard Fohler)

Vikram Sarabhai Space Centre, Thiruvananthapuram, India – TR Chidambaram, RV Nair( Sasikumar Punnekkat)

Seoul National University, Seoul, Korea – Sang Lyul Min (Hans Hansson) Monash University, Melbourne, Australia – Heinz Schmidt (Ivica Crnkovic, Hans

Hansson) University of New SouthWales, Australia – Jingling Xue (Björn Lisper) Universidade Federal do Rio Grande do Sul, Brasil – Carlos Pereira (Gerhard

Fohler) Universidade Federal Fluminense, Brasil – Julius Leite (Gerhard Fohler)

9.3 International mobility23 The programme has helped in mobility greatly, in particular in combination with industrial cooperation. We had

1. Several shorter visits from well known intl researchers and experts form intl. companies and their seminars at industrial days, visits to the industries and seminar at MRTC (among others Jacky Estublier, Jeff Voas, rob van Ommering, Heinz Schmidt)

2. Several visits and shorter stays of researcher of Kurt Wallnau from Software Engineering Institute/Carnegie Mellon University, US

3. Krithi Ramamritham, University of Massachusetts

4. Iain Bate, University of York

5. Werner Damm, University Oldenburg, Germany

6. Eduardo Tovar, PolyTech Inst. of Porto, Portugal

7. Sungsoo Lim, Seoul National University, Korea

8. Ken Tindell, Realogy, UK

9. Michael Gonzalez-Harbour, Universidad de Cantabria, Spain

10. Chia Shen, Mitsubishi research labs, boston

11. Alex Dean, Carnegie Mellon University

12. Leandro Buss-Becker, UFRS, Brasil

13. Kristina Lundkvist, MIT, US

14. Peter Altenbernd, C-Lab, Germany

15. Magnus Larsson, industrial PhD student - Software Engineering Institute/Carnegie Mellon University, US, 6 months

16. Rikard Land - Zagreb University, Croatia, 6 months

17. Damir Isovic- University of North Carolina 2 months

18. Radu Dobrin - University of Cantabria 1 month

19. Tomas Lennvall - Scuola Superiore S. Ana, Pisa 1 month

23 Describe the programme contributions to the mobility of students and researchers.


30

20. Larisa Rizvanovic - Philips Research, The Netherlands, 1 month

21. Jukka Mäki-Turja, - York University, UK, 1 month

22. Anders Möller - Monash University, Australia, 2 months.

23. Johan Fredriksson - Monash University, Australia, 6 months.

24. Hans Hansson – UIB Spain, 3 months

25. Thomas Nolte - UCI, CA, US, 4 months and UNiv. of Catania It 1 month

9.4 Contribution to the research system24 1. Close cooperating with industry – for collecting the requirements and understanding

the problems and challenges the industry meets. 2. Building cooperation and projects with both industrial partners and international

researchers 3. The clear focus on Real-time and industrial software engineering. A good balance

between focus and related research areas. 4. MRTC has provided a basis for many researcher activities events in real-time and

software engineering community: summer schools, research education, national and international conferences. Further the industrial relevance of the MRTC programme is very high, shown to be one of the highest in the area of IT and embedded systems.

9.5 New directions25 MRTC researches have achieved excellence in several areas in real time, such as scheduling, testing real-time systems, engineering real-time and embedded systems. In the area of software engineering component-based software engineering, infrastructural product lifecycle support and real-time modelling have been established as internationally recognised areas of the centre. MRTC has developed different types of collaboration: Internally teamwork has been emphasised – common supervising, common research work in which students and senior researcher could actively work and exchange ideas. External: Work on projects together with industry and external researchers (for example ABB and SEI/CMU and Monash University) . The programme holds subjects that would be spread out on several departments at a larger university. It has facilitated a multidisciplinary environment, including real time, software engineering, computer language, computer architecture, computer communication and also in component based development.

9.6 Relation to and impact on the local university26 The profile has played an important role in the development of research at MdH; by being a role mode1 and inspiration for others, by actively contributing to the development of policies and infrastructure, and above all by being the single most important contributing

24 How has the programme improved academic research? Which parts of the programme do you consider your most valuable contributions to the total research system in Sweden? 25 What has the programme meant to the researchers in the programme? New research directions, new types of collaborations etc could be relevant here. List any awards presented to participating researchers in appendix A12. 26 Describe the relations with the host university and other participating universities. What has the programme meant for the universities locally? How and to what extent does the university contribute to the programme? Has the programme contributed to improvements in the handling of immaterial rights at the universities? What changes in the university system have been induced by the programme?


31

factor behind the decision in 2001 to grant MdH the right to issue graduate degrees in Engineering (vetenskapsområde teknik). Its very productive graduate education produces more than 50% of the graduate degrees of the university. The importance for the undergraduate education is demonstrated by involvement in several Engineering as well as international MSc-programmes. By attracting external funding from a multitude of national and international sources, includmg fundmg agencies such as SSF, Vinnova, EU, ImS, VR, as well as companies such as ABB, Ericsson, Volvo, CC-Systems, Arcticus Systems, and StressMedicine, MRTC has substantially contributed to the extremely high share of external funding of the university. The board of the university has expressed its expectation that MRTC continues to be the leading research profile of the university for many years to come. The main reason for this is the strong leadership at MRTC, including scientific excellence and ability to build and maintain a professional organization, together with the very strong international and regional links. On the international level, involvement in several EU-projects, networks of excellence, as well as preparations for the 7th framework programme are particularly important in light of the increased emphasis on European coordination and funding. On the regional level, MRTC researchers have an extensive industrial network and considerable impact through long term cooperations with smaller and larger companies, active involvement in cornmittees and strategic discussions, as well as through several of its PhDs and Licentiates holding leading positions in regional companies. In addition, MRTC has generated a number of innovations, which have resulted in several spin-off companies. The support to MRTC from MdH will continue to be strong during the fundmg period 2006-2010, as well as after this period. One indication of this is that the mode1 for distribution of university funding within the faculty of Science and Engineering is now being reformed to give increased emphasis on the strategic priorities of the university, and on productivity in research and graduate education. Both these factors will favour MRTC.

10 Communication activities27 A wide field of communication activities has been applied within the profile including traditional academic communication (seminars, lectures, talks, work shops and summer schools, web site), industrial contacts and popular communication. The communication activities especially directed to the industry was pinned up by the annual Industrial day, but communication with the industry has also been achieved in many other ways, in structured dialogues concerning the Industrial portfolio and everyday interaction with the industrial Ph D students and associate professors.

10.1 Industry targeted communication activities The MRTC Industrial Day is an annual event organised in spring each year. The purpose of the industrial day is to present and discuss our achievements, with a special emphasis on industry relevance and impact. Our co-operation partners, other industry, national academia, and students are invited to participate in this event, which in addition to MRTC presentations features invited speakers, typically world-leading researchers or industrialists. Since one day is not enough to present all the multitude of projects and activities at MRTC, each industrial day has a special focus corresponding to a specific research direction.

10.2 Other academic and public communication activities28 27 What efforts have been made to communicate the activities of the programme? What results have been achieved in terms of communication and interaction? How has communication developed and improved? Describe the interaction with industry in terms of communication.


32

The MRTC seminars are on topics of general interest to the Computer Science community, with a slight bias towards real-time systems. We also have more focused research talks organized by our different labs (CAL, CSL, SDL). These complement the old CUS talks that will be more informal and address new research problems as well as talks by visiting researchers. The distinguished lecture series brings world leading researchers in the are of real-time systems to present state-of-the art research, salient results, and future directions. The lectures are of particular interest to students, researchers, and engineers in real-time systems and related areas.

11 Continuation of the programme's activities29 MRTC researchers are constantly applying for external funding. Current outstanding/planned applications include applications submitted to/being prepared for

• VR by Andreas Ermedal, Gerhard Fohler, Björn Lisper, and Mikael Nolin

• KKS (7 projects) by Christer Norström, Mikael Nolin, Ivica Crnkovic, and Björn Lisper (totally 7 project proposals are being prepard)

• EU IST by Ivica Crnkovic and Gerhard Fohler (totally 4 project proposals are being prepared), and

• EU Erasmus/Mundus by Ivica Crnkovic and Sasikumar Punnekkat. In addition to these project-type applications we are currently working on two major applications:

• PROGRESS - The purpose of Progress is to strengthen Swedish competence in ECS software and systems. Focusing on predictability of software for ECS and predictability in development of ECS, Progress’ research will aim to provide an adaptable standardised development process with easy-to-use development tools enabling efficient and predictable development of ECS. Progress is coordinated by Hans Hansson, and may receive up to 12 MSEK/yr from SSF during a five year period starting 2006.

• The challenge of the Vinn-MRTC competence centre is to provide processes and technology for development of next generation of industrial systems with 100 times more functionality and better quality and that will require 10 times less development time. Vinn-MRTC is coordinated by Ivica Crnkovic, and may receive up to 7 MSEK/yr from Vinnova during a ten year period starting 2007.

11.1 The value added to the research system30 Real time and embedded system is an area designated from EU and Sweden as one of the strategic areas. While in EU the importance increases in the recent years, in Sweden, thanks to beside others MRCT initiatives, the competence level is very high. Importance of real time embedded systems and excellence in engineering complex (embedded) systems is expected to significantly grow in next ten years. 28 Describe the communication with other target groups of the programme. Which activities, publications, etc have been directed towards other target groups? Describe the interaction with society. How has the Phd students contributed in this process? Describe other activities within the programme, e.g. conferences, seminars, web site of the programme etc. Which activities, publications, etc have been directed towards the general public? 29 A description of the expected organization of the activities within the programme after the Knowledge Foundation funding expires. What other funding could be expected? 30 Which parts of the programme do you consider your most valuable contributions to the total research system in Sweden? What will happen to the programme? Give a long-term perspective on the field of the programme. Why will the programme appear important ten years from now?


33

11.2 The long term perspective31 The direction against software engineering for imbedded systems (programvaruteknik för inbyggda system) based on efforts of the programme will have a lasting effect, and is perhaps the most important aspect of the programme.

12 Economic report 32 The MRTC grant is intended for the establishment of a strong research group in real-time systems with active industrial co-operation. The latter is ensured by requiring direct 1-to-1 industrial matching of the KK-foundation grant, thus yielding a total research effort of 72 MSEK for the six-year period. This has been a very favourable construction for MRTC, since the effect has been both that the already very close industrial links have been strengthened and formalized into projects, and that new co-operations have been established. Funding provided by industry is mainly in the form of industrial postgraduate students and industrial engineers participating in projects. Though being one of the cornerstones of the MRTC funding, the KK-foundation grant is only one of several sources of funding for MRTC. The largest and most important source is the support from Mälardalen University (MdH), originating from the Swedish government. This funding allows us to conduct the basic research needed both for the more applied research funded by the KK-foundation and Industry, and for maintaining high quality in our undergraduate and postgraduate education. In addition to the above, MRTC is also funded by more traditional competitive sources of funding, including grants from

• The Swedish Foundation for Strategic Research (SSF), via the national research programme in real-time systems ARTES and also via the programmes SAVE, FLEXCON, and BUTLER.

• The Swedish Agency for Innovation Systems (Vinnova), via its competence centre Advanced Software Technology (ASTEC), Robotdalen, EvaluNet, and via support for our involvement in the EUREKA EAST/EEA project,

• The Swedish Research Council (VR), • The European Union, via Fifth and Sixth Framework projects and networks, and • The KK-foundation in terms of several other specific projects, as well as the

Industrial Graduate School SAVE-IT. All research is performed in projects with specific goals with respect to achievements, publications, collaborations, and prototype tools. Each project includes both senior researchers and postgraduate students. A project typically has elements of both basic and applied research. The project leader is responsible for funding the project, either via the general MRTC grants or via direct external project grants. As a quality measure, MRTC has an ambition that the majority of project funding should be external and competitive. In 2004, more than 80% of the funding was external, the majority from SSF, the KKfoundation (KKS), Industry (both via donations and direct involvement in projects), Vinnova, the Swedish Research Council (VR) and the European Union (EU). The diagram below summarises the MRTC funding in 2004 (for each source, name, amount and percentage are indicated). It should be noted that the majority of the included Industry funding is in terms of participation in research projects and does not represent direct monetary funding of MRTC.

31 Give a long-term perspective on the field of the programme. Why will the programme appear important ten years from now? 32 A summary of the annual economic reports earlier presented to the Foundation should be submitted, giving a total view of the Foundation grant and other funding to the programme, projects financed by the programme and other programme costs.


34

During the programme period the total funding has grown three times, both as a result of growing industrial support and of competitive achievements in gaining research funding from research foundations and agencies. The programme support from the KK Foundation has served as a substitute for the very small government means.

0

5000

10000

15000

20000

25000

30000

35000

40000

45000

50000

1000 SEK

1999 2000 2001 2002 2003 2004

Year

Funding of MRTC during 1999-2004

EU

CUGS

VR, TFR

SICS

VOLVO RF

SSF

NUTEK, VINNOVA

Industry

KKS

MdH

The government funds includes MdH (Mälardalen University), European Commission (ERA), NUTEK (Swedish Agency for Economic and Regional Growth), VINNOVA (Swedish Agency for Innovation Systems), VR (Swedish Research Council), the former TFR (appr Engineering Research Council) and CUGS (the national computer science graduate school). SICS (Swedish Institute of Computer Science) is jointly owned by the industry and the government. The monetary means from industry are dominated by grants from ABB and Ericsson. Eventually, the means from the research foundations represent a good share, over time more than a third of the total funding, including SSF (Foundation for Strategic Research) and KKS (Knowledge Foundation).

13 SWOT analysis33 The following is a list of specific effects of MRTC and lessons learned from the first six years of MRTC:

• Positive effects of MRTC:

o We have established an open and cooperative research environment without hierarchies.

o MdH was given the rights to issue graduate degrees in Engineering (vetenskapsområde teknik), to a large extent due to the successful research at MRTC.

33

Include an analysis of the programme's perceived Strengths, Weaknesses, Opportunities and Threats. Strengths and weaknesses refer to the internal capabilities of the programme, i e are under its control, and should be regarded relative to competitors, whereas opportunities and threats are found in the external environment, usually outside the control of the programme.


35

o We have established the brand name MRTC, with a strong reputation in Real-Time Systems research and a growing reputation in Software Engineering

o We have been very successful in getting external funding, including

a 9.6 MSEK donation from ABB (and a smaller donation from Mitsubishi Research)

major grants from the Strategic Research Foundation and other national funding agencies

several EU-projects

support from KKS to establish an industrial graduate school

• Risks and problems

o Without the profile grant there is a risk that our industrial partners trust in us is reduced, since we need to contact them – and need their involvement – in a large number of project proposals which not all of them will be granted. With the profile we could in guarantee our part of the funding for joint projects already when initiating discussions.

• Comments/observations:

o In general, industrial PhD-students require more coaching than regular students, most likely since they have multiple duties and loyalties.

o It takes time to increase the volume of research. We were initially lagging behind plan. Also, decreasing volume when the amount of funding is reduced is even more difficult, since activities are essentially related to student projects and graduations.

o The profile grant initially provided us with relatively generously funding, which made it possible for us to support a wide range of research activities, some of which we knew were not very strong, and which we – looking back – should not have supported.

• Suggestion:

To increase likelihood of a successful continuation of established profiles KKS should find a model for how to support the profiles after the initial funding period. One possibility could be to (say) in the fourth or fifth year of the profile negotiate an agreement including a 3-5 years “debriefing period” during which some additional funding is made available, given that some specific goals are achieved. This negotiation could/should also include commitments from the university.


36

Appendices Mandatory Appendices

A.1 A list of everybody who has at any time been a member of the programme board including affiliation and their period.

A.2 A list of the activities and responsibilities of the programme board

A.3 A list of the researchers (senior researchers, postdocs etc.) including projects, type of position, year-of-birth and gender. (NB. Phd Students are the subject of appendix A.6-8)

A.4 A full list of publications (books, articles in refereed journals, papers presented at conferences, reviews, other publications). Indicate clearly publications with international and/or industrial co-authors. What is the cross-departmental share? The cross-university share? The cross-programme share? The cross-national share? Only publications where KK funding is relevant and thus duly acknowledged should be included.

A.5 A full list of events organised by the programme (conferences, work shops, summer schools, industry meetings etc.)

A.6 PhD exams. Enclose an updated list of students who have completed their PhD. Include at least year of birth, gender, thesis title, supervisor(s), university department, year of degree, university of basic academic training, total amount of Foundation funding received, and employer six months (or an available time) after exam.

A.7 Lic exams. Ditto for students who have completed a licentiate exam.

A.8 Future exams. Enclose a similar updated list of students who have been at any time financed by the Foundation, but who have not yet completed their exam. Specify also the expected time for exam and the reason why they have not completed their exam yet.

A.9 No exams. Enclose a similar updated list of students who have been at any time financed by the Foundation, but who are no longer expected to complete their exam. Indicate also why they have left. When appropriate, specify their employer six months (or an available time) after their leave.

A.10 A list of innovations and prototypes that have been produced, spin-off companies founded or being contemplated, etc.

A.11 A list of patents awarded or pending. Specify any exploitations or plans for exploitation, etc.

A.12 A list of awards to participating researchers, etc.

Additional Appendices A 13 A list of projects 1999-2004 A 14 A list of representative publications, related to the projects A 15 A complete list of under graduate courses

MRTC Final Report Appendix 1

1

A list of everybody who has at any time been a member of the programme board including affiliation and their period. According to the agreement no Programme Board has ever been appointed.


1

A list of the activities and responsibilities of the programme board According to the agreement no Programme Board has ever been appointed.


1

A list of the Senior researchers 1999-2004 (senior researchers, postdocs etc.) including projects, type of position, year-of-birth and gender. Asplund Lars, male, 1949 Professor Projects: SafetyChip Axelsson Jakob, male, 1968 Adjoint Professor (20%) Volvo Car Björkman Mats, male, 1960 Professor Projects: COMSED - Communication for Small Embedded Devices EvaluNet II EvaluNet – Network Performance Evaluation Traffic Measurement and Analysis Crnkovic Ivica, male, 1955 Professor Projects: APICS - A Process for Efficient and Effective Integration of Component Based Software FLEXCON - Flexible Embedded Control Systems Industrial Software Engineering PSI - Product Data Management and Software Data Management Integration ProPlat - Development and decisions processes SAVE - AutoComp The Siblings Project Cürüklü Baran, male, 1969 Researcher Projects: Layout and Function of the Intracortical Connections within the Primary Visual Cortex Dodig-Crnkovic Gordana, female, 1955 Senior Lecturer Projects: PICO - Philosophy of Information and Computing Ekelin Svante, male, 1958 Researcher (10%) Ericsson Ermedahl Andreas, male, 1971 Researcher Projects: WCET - Worst-case execution time analysis


2

Fohler Gerhard, male, 1965 Professor Projects: FABRIC - Federated Applications Based on Real-Time Interacting Components FIRST - Flexible Integrating Scheduling Technology FLEXCON - Flexible Embedded Control Systems Flexible Reliable Timing Constraints Mälardalen Real-Time Research Centre (MRTC) Predictably Flexible and Reliable Real-Time Systems Real-time Architecture for Networked Multimedia Streaming systems Funk Peter, male, 1957 Senior Lecturer Projects: AIM, Artificial Intelligence in Medical Applications ExAct The Siblings Project Gustafsson Jan, male, 1950 Senior Lecturer Projects: WCET - Worst-case execution time analysis Mälardalen Real-Time Research Centre (MRTC) Hansson A Hans, male, 1957 Professor Projects: EAST/EEA Mälardalen Real-Time Research Centre (MRTC) SAVE – Component Based Design of Safety Critical Vehicular Systems SAVE - RATAD / Reliability And Timing Analysis of Distributed systems SAVE-IT Isovic Damir, male, 1974 Senior Lecturer Projects: FLEXCON - Flexible Embedded Control Systems Flexible Reliable Timing Constraints Predictably Flexible and Reliable Real-Time Systems Lindh Lennart, male, 1954 Associate Professor Projects: Mälardalen Real-Time Research Centre (MRTC) SARA - Scaleable Architecture for Real-Time Applications Lisper Björn, male, 1956 Professor Projects: Layout and Function of the Intracortical Connections within the Primary Visual Cortex Dimensional Inference for Specification Languages


3

WCET - Worst-case execution time analysis Global Constraints in Constraint Programming and Local Search High Level Languages for Hard and Embedded Real-Time Systems Mälardalen Real-Time Research Centre (MRTC) PLEX 3D Graphics Simulation Malec Jacek, male, 1952 Professor Melander Bob, male, 1971 Researcher Projects: EvaluNet II EvaluNet – Network Performance Evaluation Nilsson Martin, male, 1959 Researcher (20%) SICS Nolin Mikael, male, 1971 Researcher Projects: EAST/EEA Component Technology for Heavy Vehicles (HEAVE) MultEx - Software Engineering using Multiple Execution Paradigms SAVE-IT Norström Christer, male, 1963 Professor Projects: DRIVE - Distributed Real-Time Systems in Vehicles Mälardalen Real-Time Research Centre (MRTC) OpenController Remodel SAVE - COMET/COMponent-based Embedded real-Time database system SAVE - RATAD / Reliability And Timing Analysis of Distributed systems Post Kjell, male, 1963 Senior Lectuer Punnekkat Sasikumar, male, 1960 Senior Lecturer Sandström Kristian, male, 1970 Senior Lecturer Projects: Asterix Project, The real-time kernel for the final frontier DRIVE - Distributed Real-Time Systems in Vehicles SAVE - AutoComp


4

Thane Henrik, male, 1970 Senior Lecturer Projects: Asterix Project, The real-time kernel for the final frontier DEBUG LESS BUGS TATOO - Test and Testability of Distributed Real-Time Systems Wall Anders, male, 1964 Expert Projects: Remodel Xiong Ning, male, 1964 Yi Wang, male, 1961 Adjoint Professor (20%) Uppsala University

MRTC Final Report Appendix D

1

A full list of publications Note: External and industrial co-authors are indicated in yellow/grey. Concerning cross-

departemental publications there are a large number (in the order of hundred) publications with authours from several MRTC research groups. In consistency with the initial note in the final report we have included all publications 1999-2004 co.authored by MRTC staff.

1. Publications 1999 The MRTC-publications 1999 are listed in this section. For on-line access and continuously updated information about all MRTC-publications, please consult www.mrtc.mdh.se.

1.1. Book 1. Stefan Sjöholm, Lennart Lindh: VHDL för konstruktion, Studentlitteratur 1999, ISBN 91-

44-01250-0

1.2. Journal article 2. Sasikumar Punnekkat, Alan Burns, Rob Davis: Analysis of Checkpointing for Real-Time

Systems, Real-Time Systems Journal (Accepted for Publication), September 1999.

1.3. Conference articles 3. Joakim Adomat, Mohammed El Shobaki: Systemarkitektur, en grundutbildningskurs i

systemkonstruktion, In Swedish National Real-Time Conference SNART'99 Linköping, Sweden, August 1999.

4. Björn Allvin, Kristian Sandström, Christer Norström: Constructive Feedback turns

Failure into Success for Pre-Scheduled Systems, In Swedish National Real-Time Conference SNART'99, August 1999.

5. Björn Allvin, Hans Hansson, Andreas Ermedahl, H. Sundell, P. Tsigas: Evaluating the

Performance of Wait-Free Snapshots in Real-Time Systems, In Swedish National Real-Time Conference SNART'99, August 1999.

6. Christina Björkman: Varför väljer kvinnor inte datavetenskap?, Kvinnor och matematik 4,

Uppsala, April 1999. (in Swedish) 7. Ivica Crnkovic, Magnus Larsson: Managing Standard Components in Large Software

Systems, In Proc. 2nd workshop on Component Based Software Engineering Los Angeles, USA, May 1999.

8. Ivica Crnkovic, Peter Funk, Magnus Larsson: Processing Requirements by Software

Configuration Management, In Proc. 25th EUROMICRO Conference Milano, Italy, September 1999. IEEE Computer Society Press.

9. Ivica Crnkovic: Why do some mature organizations not use mature CM, In Proc. System

Configuration Management, Toulouse, France, August 1999. Springer 10. Ivica Crnkovic, Magnus Larsson, Kung-Kiu Lau: Component Configuration Management

for Frameworks, In Proc. Asia-Pacific Software Engineering Conference, Workshop on Software Architecture and Components, Takamatsu, Japan, December 1999.


2

11. Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson:

Towards Industry Strength Worst-Case Execution Time Analysis, In Proc. Swedish National Real-Time Conference SNART'99, August 1999.

12. Gerhard Fohler, Sasikumar Punnekkat: Self-Evolving Dependable Real-Time Systems, In

Proc. European Workshop on Dependable Computing (EWDC-10), pages 79-83, May 1999.

13. Peter Funk, Ivica Crnkovic: Reuse, Validation and Verification of System Development

Processes, In Proc. First International Workshop on the Requirements Engineering Process, DEXA'99, Florence, September 1999.

14. Peter Funk, Ivica Crnkovic Case-Based Reasoning for Reuse and Validation of System

Development Processes, In Proc. Workshop on Practical Case-Based Reasoning Strategies for Building and Maintaining Corporate Memories ICCBR'99, Seeon, Germany, July 1999.

15. Hans Hansson, Markus Lindgren: Design and Scheduling of Shared Displays for

Embedded Systems, In Swedish National Real-Time Conference SNART'99, August 1999. 16. Damir Isovic, Gerhard Fohler: Handling Sporadic Tasks in Off-line Scheduled Distributed

Real-Time Systems, In 11th EUROMICRO Conference on Real-Time Systems York, England , May 1999.

17. Roger Jonsson: On measures of search features, In Lecture notes in Artificial intelligence

1609 Warsaw, Poland, June 1999. Eds.: Zbigniew W. Ra´s, Andrzej Skowon 18. Tommy Klevin, Lennart Lindh: Scalable Architecture for Real-Time Applications And

Use of Bus-monitoring, In Proc. 6th international conference on Real-Time Computing Systems and Applications (RTCSA'99) Hong Kong.

19. Magnus Larsson, Ivica Crnkovic: New Challenges for Configuration Management, In

Proc. System Configuration Management, SCM-9, proceedings Toulouse, France, August 1999. Springer Verlag

20. Man Lin, Jacek Malec: Control of a manufacturing cell using a generic layered

architecture., In in the First IEEE Conference on Robot Motion and Control , RoMoCo'99 Poznan, Poland , June 1999Man

21. Man Lin, Jacek Malec, Simin Nadjm-Tehrani: On Semantics and Correctness of Reactive

Rule-Based Systems, In Proceedings of the Conference of Perspectives of System Informatics Novosibirsk, Akademgorodok, Russia, July 1999.

22. Björn Lindberg, Gerhard Fohler: Plug-In Based Aperiodic Task Handling for Diverse

Real-Time Systems, In Proc. 11th Euromicro Workshop on Real-Time Systems York, England, June 1999.


3

23. Lennart Lindh, Tommy Klevin, Johan Furunäs: Scalable Architecture for Real-Time Applications - SARA, In Swedish National Real-Time Conference SNART'99 Linköping, Sweden , August 1999.

24. Lennart Lindh, Tommy Klevin, Johan Furunäs: Flexible Multiprocessor Computer

Systems, In Proc. CAD&CG'99 Shanghai, China 1-5 December 1999, December 1999. 25. Carlos Mitieri, Carlos Peireira, Gerhard Fohler: Applying Multi-Agent Systems to Real-

Tome Industrial Automation, Plenary Paper, In Proc. Multi-Agent Systems in Production, December 1999.

26. Jukka Mäki-Turja, Gerhard Fohler, Kristian Sandström: Towards Efficient Analysis of

Interrupts in Real-Time Systems, In Proc. 11th EUROMICRO Conference on Real-Time Systems, York, England., May 1999.

27. Christer Norström, Anders Wall, Wang Yi: Timed Automata as Task Models for Event-

Driven Systems, In In proceedings of RTCSA'99 Hong Kong , December 1999. IEEE Computer Society

28. Mohammed El Shobaki: Observability in Multiprocessor Real-Time Systems with

Hardware/Software Co-Simulation, In Proc. Swedish National Real-Time Conference SNART'99 Linköping, Sweden, August 1999.

29. Mikael Sjödin, Hans Hansson: Analysing Multimedia Traffic in Real-Time ATM Networks,

In Proc. 5'th Real-Time Technology and Applications Symposium (RTAS'99) Vancouver, Canada, June 1999. IEEE Computer Society Press

30. Henrik Thane, Hans Hansson: Towards Deterministic Testing of Distributed Real-Time

Systems, In Proc. Swedish National Real-Time Conference SNART'99, August 1999. 31. Henrik Thane, Hans Hansson: Towards Systematic Testing of Distributed Real-Time

Systems, In Proc. 20th IEEE Real-Time Systems Symp. Phoenix, Arizona, December 1999. IEEE Computer Society Press

32. Henrik Thane, Hans Hansson: Handling Interrupts in Testing of Distributed Real-Time

Systems, In Proc. 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong-Kong, December

1.4. Technical reports 33. Björn Allvin, Kristian Sandström, Christer Norström: Analysis of Pre-Run-Time

Scheduled System Specifications, Technical Report, 1999. 34. Pontus Bergsten, Lena Biel, Baran Cürüklü, Boyko Iliev, Martin Persson, Ola Pettersson,

Zbigniew Wasik: Shakey'99 - Artificial Intelligence for Autonomous Robots, Technical Report, 1999.

35. Baran Cürüklü, Ola Pettersson, Zbigniew Wasik: Sonar Maps for Mobile Robots,

Technical Report , 1999.


4

36. Johan Furunäs: Benchmarking an application running on an OSE BOOSTER kernel, Technical Report, 1999.

37. Christer Norström, Kristian Sandström, Jukka Mäki-Turja, Hans Hansson, Henrik Thane:

Robusta realtidssystem, Technical Report, 1999. 38. Sasikumar Punnekkat, Hans Hansson, Christer Norström: Response Time Analysis under

Errors for CAN, Technical Report, 1999. 39. Kristian Sandström, Christer Norström, Martin Törngren: Modelling and Scheduling of

Multirate Control Applications, Research Report TRITA-MMK 1999:4, ISSN 1400-1179, ISRN KTH/MMK/R-99/4-SE. Department of Machine Design, The Royal Institute of Technology, S-100 44 Stockholm, Sweden, 1999

40. Kristian Sandström: Modelling and Scheduling of Control Systems Research, Report

TRITA-MMK 1999:5, ISSN 1400-1179, ISRN KTH/MMK/R-99/5-SE. Department of Machine Design, The Royal Institute of Technology, Stockholm,Sweden, 1999.

41. Henrik Thane, Hans Hansson: Deterministic Replay for Debugging of Distributed Real-

Time Systems, Technical Report, 1999. 42. Anders Wall: Software Architectures -An overview-, Technical Report, 1999.

1.5. MSc theses The following MSc-theses have been presented at the CE department in 1999: 1. Walldén Anders: Radiosity för VR-mijlö 2. Engerstam Joakim: Simulering av sikteskamera 3. Andersson Mikael, Ingelsson Anders, Renbäck Johan: Real-time issues in music

applications and digital modeling of analog components 4. Bylund Anna: Verification of safety critical systems 5. Larsson Thomas: Utveckling av fortsättningskurs i datorgrafik 6. Andersson Magnus, Ekman Mathias: Analysis and simulation of protocol for serial

communication 7. Cazon Milena: Graph Layout Using Genetic Algorithms 8. Hedlund Andreas: Program Analysis with Abstract Interpretation in Theory and Practice 9. Aberger Carl-Johan, Edin Per: Integration of object oriented and relational data in a

process control environment 10. Forsgren Robert, Habteghergish Aforki: Modelling and simulating a GSM-phone using

UML


5

11. Helmestam Linus: Tools for real-time systems

2. Publications 2000

2.1. Conferences and workshops 1. Joakim Adomat, Lennart Lindh: Analysis of software- and hardware interrupt handling

(with and without cache), Proceedings of the 3rd Design, Automation and Test Event, Paris, March 2000.

2. Ivica Crnkovic, Magnus Larsson, Frank Lüders: Implementation of a Software Engineering Course for Computer Science Students, Proceedings, APSEC, Asia-Pacific Software Engineering Conference, Singapore, December 2000.

3. Ivica Crnkovic, Magnus Larsson, Frank Lüders: Software Process Measurements using Software Configuration Management, Proceedings, The 11th European Software Control and Metrics Conference, Munich, Germany, May 2000.

4. Ivica Crnkovic, Magnus Larsson, Frank Lüders: The Different Aspects of Component Based Software Engineering, Proceedings, MIPRO (Microprocessor systems, Process control and Information Systems) Conference, Opatija, Croatia, May 2000.

5. Ivica Crnkovic, Magnus Larsson: A Case Study: Demands on Component-based Development, Proceedings, 22th International Conference of Software Engineering, Limerick, Ireland, ACM, IEEE, SogSoft, May 2000.

6. Ivica Crnkovic, Juliana K. Küster Filipe, Magnus Larsson, Kung-Kiu Lau: Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues, Proceedings, 4th IEEE International Baltic WS ON DB AND IS, Vilnius, Lithuania, January 2000.

7. Ivica Crnkovic, Magnus Larsson, Frank Lüders: State of the Practice: Component-based Software Engineering Course, Proceedings, Workshop, ICSE 2000 conference, 3rd International Workshop on Component Based Software Engineering, January 2000.

8. Radu Dobrin, Yusuf Özdemir, Gerhard Fohler: Task Attribute Assignment of Fixed Priority Scheduled Tasks to Reenact Off-Line Schedules, Proceedings of RTCSA 2000, Korea, December 2000.

9. Radu Dobrin, Gerhard Fohler: Attribute Assignment for the Integration of Off-line and Fixed Priority Scheduling, WIP Proc. of the 21st IEEE Real-Time Systems Symposium, Walt Disney World, Orlando, Florida, USA, November 2000.

10. Johan Furunäs: Benchmarking of a Real-Time System that utilises a Booster, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA2000), LasVegas, USA., June 2000.

11. Jan Gustafsson: Eliminating Annotations by Automatic Flow Analysis of Real-Time Programs, Proceedings of the 7th international conference on Real-Time Computing Systems and Applications (RTCSA'00), (editor(s):D. C. Young), pages 511 - 516, Cheju Island, South Korea, IEEE, December 2000.

12. Hans Hansson, Christer Norström, Sasikumar Punnekkat: Integrating Reliability and Timing Analysis of CAN-based Systems, IEEE Workshop on Factory Communications Systems (WFCS-2000), Porto, Portugal, IEEE Computer Society, September 2000.

13. Hans Hansson, Christer Norström, Sasikumar Punnekkat: Reliability Modelling of Time-Critical Distributed Systems, FTRTFT-2000: Sixth International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Pune, India, Springer Verlag, LNCS, September 2000.


6

14. Hans Hansson, Christer Norström, Sasikumar Punnekkat: 2+10>1+50 !, Eight International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Cancun, Mexico, LNCS, May 2000.

15. Jonas Holmerin, Björn Lisper: Data Field Haskell, Proc. Fourth Haskell Workshop, (editor: Graham Hutton), pages 106-117, Montreal, Canada, September 2000.

16. Jonas Holmerin, Björn Lisper: Development of Parallel Algorithms in Data Field Haskell, Proc. Euro-Par 2000, (editor(s):Arndt Bode, Thomas Ludwig, Wolfgang Karl, and Roland Weismuller), pages 762-766, Munich, Germany, Springer-Verlag, August 2000.

17. Damir Isovic, Gerhard Fohler: Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints, Proc. of the 21st IEEE Real-Time Systems Symposium, Walt Disney World, Orlando, Florida, USA, November 2000.

18. Damir Isovic, Markus Lindgren, Ivica Crnkovic: System Development with Real-Time Components, Proc. of ECOOP2000 Workshop 22 - Pervasive Components, Sophia Antipolis and Cannes, France, June 2000.

19. Damir Isovic, Gerhard Fohler: Online Handling of Firm Aperiodic Tasks in Time Triggered Systems, 12th EUROMICRO Conference on Real-Time Systems, WIP, Stockholm, Sweden, June 2000.

20. Magnus Larsson, Ivica Crnkovic: Component Configuration Management, ECOOP Conference, Workshop on Component Oriented Programming Nice, France, June 2000.

21. Magnus Larsson, Ivica Crnkovic: Development Experiences of a Component-based System, Proceedins 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, Edinburgh, Scottland, IEEE, April 2000.

22. Markus Lindgren, Hans Hansson, Henrik Thane: Using Measurements to Derive the Worst-Case Execution Time, Proceedings of RTCSA 2000, Cheju Island, South Korea, IEEE Computer Society, December 2000.

23. Markus Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat: Deriving Reliability Estimates of Distributed Real-Time Systems, Proceedings of RTCSA2000, Cheju Island, South Korea, IEEE Computer Society, December 2000.

24. Björn Lisper, Jonas Holmerin: Development and Verification of Parallel Algorithms in the Data Field Model, Proc. 2nd Int. Workshop on Constructive Methods for Parallel Programming, (editor(s):Sergei Gorlatch and Christian Lengauer), pages 115-130, Ponte de Lima, Portugal, Fakultät für Mathematik und Informatik, Universität Passau, July 2000.

25. Pau Marti, Ricard Villa, Josep M. Fuertes, Gerhard Fohler: Real Time Scheduling Methods Requirements in Distributed Control Systems, IFAC Workshop on Real Time Programming, January 2000.

26. Christer Norström, Mikael Gustafsson, Kristian Sandström, Jukka Mäki-Turja, Nils-Erik Bånkestad: Findings from introducing state-of-the-art real-time techniques in vehicle industry, In industrial session of the 12th Euromicro Conference on Real-Time Systems, Stockholm, Sweden,2000, June 2000.

27. Peter Nygren, Lennart Lindh: Virtual Communication Bus with Hardware and Software Tasks in Real-Time System, In Proceedings of the work in progress and industrial experience sessions, (editors:Peter Puschner, Iain Bate and Martin Törngren), 12th Euromicro conference on Real-Time Systems, June 2000.

28. Sasikumar Punnekkat, Hans Hansson, Christer Norström: Response Time Analysis under Errors for CAN, Real-Time Technology and Applications Symposium (RTAS'2000), Washington, US, IEEE Computer Society, May 2000.

29. Mikael Sandberg, Björn Lisper: Dimensional Analysis for Modelica, Proceedings, pages 7, Modelica Workshop 2000, Lund, October 2000.


7

30. Kristian Sandström, Christer Norström, Magnus Ahlmark: Frame Packing in Real-Time Communication, In proceedings of RTCSA 2000, Korea, IEEE Computer Society, December 2000.

31. Henrik Thane, Hans Hansson: Using Deterministic Replay for Debugging of Distributed Real-Time Systems, In Proc. 12th Euromicro Conference on Real-Time Systems, pages 265-272, Stockholm, IEEE Computer Society, June 2000.

32. Claes Thornberg, Björn Lisper: Elemental Function Overloading in Explicitly Typed Languages, Proc. 12th International Workshop of Implementation of Functional Languages, (editor(s):Markus Mohnen, Pieter Koopman), pages 31-46, Aachen, Germany, September 2000.

33. Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström: Verifying Temporal Constraints on Data in Multi-Rate Transactions, proceedings of RTCSA 2000, Korea, IEEE Computer Society, December 2000.

2.2. Theses 34. Jan Gustafsson: Analyzing Execution-Time of Object-Oriented Programs Using Abstract

Interpretation, Phd Thesis, Department of Computer Engineering, Mälardalen University, Box 883, S-721 23 Västerås, Sweden, and Department of Computer Systems, Information Technology, Uppsala University, Box 325, S-751 05 Uppsala, Sweden , May 2000.

35. Magnus Larsson: Applying Configuration Management Techniques to Component-based Systems, Licentiate Thesis, MRTC, December 2000.

36. Markus Lindgren: Measurement and Simulation Based Techniques for Real-Time Systems Analysis, Licentiate Thesis, IT Licentiate thesis 2000-010 and MRTC Report 00/25, Uppsala University Printers, December 2000.

37. Henrik Thane: Monitoring, Testing and Debugging of Distributed Real-Time Systems, Phd Thesis, Royal Institute of Technology, May 2000.

38. Anders Wall: A Formal Approach to Analysis of Software Architectures for Real-Time Systems, Licentiate Thesis, Dept. of Computer Systems, Uppsala University and Dept. of Computer Engineering, Mälardalen University, September 2000.

2.3. Technical reports 39. Andreas Amström, Camila Grozs, Andreas Gullemot: GRETA: a tool concept for

validation and verification of signal based systems, Technical Report, February 2000. 40. Jouni Axelsson, Johan Ericson: Execution time analysis for soft real-time systems,

Technical Report, IDt, December 2000. 41. Ivica Crnkovic, Magnus Larsson: Component Based Software Engineering - State of the

Art, Technical Report, Internal, January 2000. 42. Gerhard Fohler, Giorgio Buttazzo, Tomas Lennvall: Integrating Off-line and On-line

Scheduling for Handling Tasks with Complex Constraints in Dynamic Real-Time Systems, Technical Report, September 2000.

43. Peter Funk, M. Minor, T. Roth-Berghofer, D. Wilson (eds.): Knowledge Evaluation and Maintenance, Humbold University, Berlin, January 2000.

44. Peter Funk: Reuse, Adaptation and Validation of System Development Processes, Technical Report, March 2000.

45. Peter Funk: Case-Based Identification and Reuse of Similar Formalised Behaviour, Technical Report, March 2000.

46. Peter Funk, Janet Wennersten: Asynchronous Signal Paradigm and AI for Soft Real Time Systems, Technical Report, March 2000.


8

47. Jan Gustafsson: WCET Project - Work in Progress, Workshop Proceedings from Sweden-Korea Workshop on Real-Time and Embedded Systems, (editor(s):Sang Lyul Min and Hans Hansson), pages 7 - 12, Cheju Island, Korea, ARTES, Korea Information Science Society, National Research Laboratory, SNU BK 21, December 2000.

48. Hans Hansson, Christer Norström, Sasikumar Punnekkat: Reliability Modelling of Time-Critical Distributed Systems, Workshop Proceedings from Sweden-Korea Workshop on Real-Time and Embedded Systems, (editor(s):Sang Lyul Min and Hans Hansson), pages 7 - 12, Cheju Island, Korea, ARTES, Korea Information Science Society, National Research Laboratory, SNU BK 21, December 2000.

49. Hans Hansson, Christer Norström, Sasikumar Punnekkat: Hard Real-Time in a Soft World, Technical Report, January 2000.

50. Hans Hansson (ed.): Embedded Systems and the Future of Swedish IT-research, April 2000.

51. Damir Isovic, Markus Lindgren: Real-Time Components, Technical Report, Mälardalen Real-Time Research Centre, Mälardalen University, March 2000.

52. Tomas Lennvall: Integration of off-line and on-line scheduling for admission control, Technical Report , Institutionen för Datateknik, Mälardalens högskola, September 2000.

53. Markus Lindgren, Christer Norström: Case-study: Using Simulation to Verify Real-Time Properties, Technical Report 00/27, November 2000.

54. Markus Lindgren: Deriving Worst-Case Execution Time by Measurements, Technical Report 00/26, November 2000.

55. Sang Lyul Min, Hans Hansson (eds.) Workshop Proceedings from Sweden-Korea Workshop on Real-Time and Embedded Systems, Cheju Island, Korea, ARTES, Korea Information Science Society, National Research Laboratory, SNU BK 21, December 2000.

56. Christer Norström, Kristian Sandström, Jukka Mäki-Turja, Hans Hansson, Henrik Thane, Jan Gustafsson: Robusta realtidssystem, Technical Report, IDt, course litterature, (250 pages), August 2000.

57. Kristian Sandström, Christer Norström, Magnus Ahlmark: Frame Packing in Real-Time Communication - Tech report -, Technical Report, September 2000.

58. Mohammed El Shobaki: Non-Intrusive Hardware/Software Monitoring for Single- and Multiprocessor Real-Time Systems, Technical Report, December 2000.

59. Henrik Thane: Design for Deterministic Monitoring of Distributed Real-Time Systems, Technical Report, May 2000.

60. Henrik Thane, Anders Wall: Formal and Probabilistic Arguments for Reuse and Reverification of Components in Safety-Critical Real-Time Systems, Technical Report , January 2000.

61. Anders Wall: Software Architectures for Real-Time systems, Technical Report 00/20, May 2000.

2.4. MSc Theses The following MSc-theses have been presented at the CE department in 2000:

12. Karlsson, Peter, Ohlsson, Stefan: Jämförelse av registerallokeringsstrategier för programmeringsspråket PLEX

13. Lennvall, Tomas: Off-line scheduling services for predictably flexible real-time systems

14. Carlsson, Tobias: SoftPLC

15. Lindkvist, Klas: JAVA - In real-time

16. Walden, Harald: Förstudie av InstallationsProgramvara


9

17. Ahlmark, Magnus: Local Interconnect Network (LIN) - Packaging and Scheduling

18. Eriksson, Magnus: Tekniker för dynamisk agentarkitektur i 3D-miljö

19. Forsström, Magnus: TCP/IP Stack, Construction and Analysis

20. Saastamoinen, Marissa: Fuzzy logic extension for virtual scalable stack processor

21. Brännvall, Jonas: Evaluation of An Object Database for use in S.P.I.D.E.R

22. Andersen, Johan: Optimering av ett bsp-träd

23. Davidsson, Anders, Lindgren, Joakim: Asterix: A prototype of a small-sized real-time kernel

24. Kostelac, Robert: Multitasking II - Utökning av robotspråket Rapid

25. Lindbom, Henrik, Wigstein, Jonas: A portable protocol stack framework for embedded systems

26. Tael, Andreas, Kihlén, Niklas: Designing massive internet games

27. Almgren, Towe, Dahlberg, Katarina: Improved RPH communication capacity

28. Sandström, Peter: A look at Execution Time Analysis and Measuring Interrupt Latency

29. Bergdahl, Mattias: Off-line scheduling services for predictably flexible real-time systems

30. Hedberg, Petra: Aktuella krav på säkerhetskritisk programvara, vad betyder det för TUE?

31. Larsson, Christer, Björklund, Jimmy: Translation between information models

32. Collin, Mikael, Haukilahti, Raimo Nikitovic, Mladen: SoCrates* - A Scalable Multiprocessor System On Clip

3. Publications 2001

3.1. Reviewed Int'l Journal Articles 1. Ivica Crnkovic, Magnus Larsson: Challenges of Component-based Development, Journal

of Software Systems, December 2001. Elsevier. 2. Ivica Crnkovic: Component-based Software Engineering - New Challenges in Software

Development Software Focus, 4(4), December 2001. John Wiley & Sons. 3. Gerhard Fohler, Giorgio Buttazzo: Flexible Scheduling for Real-Time Systems, Editorial.

Real-Time Systems Journal, March 2001. Kluwer. 4. Sasikumar Punnekkat, Alan Burns, Rob Davis: Analysis of Checkpointing for Real-Time

Systems. Real-Time Systems Journal, 20(1):83-102, January 2001. Kluwer. 5. Henrik Thane, Hans Hansson: Testing distributed real-time systems. Microprocessors and

Microsystems, 24(9):463-478, February 2001. Elsevier.

3.2. Reviewed Int'l Conference Articles 6. Jan Carlson, Tomas Lennvall, Gerhard Fohler: Value Based Overload Handling of

Aperiodic Tasks in Offline Scheduled Real-Time Systems. In Proc. Work-in-progress Session, 13th Euromicro Conference on Real-Time Systems Delft, The Netherlands, June 2001.


10

7. Ivica Crnkovic, Annita Persson Dahlqvist, Daniel Svensson: Managing Complex Systems - Challenges for PDM and SCM. In Proc. IEEE Asia-Pacific Conference on Quality Software Hong Kong, December 2001. IEEE.

8. Mikael Collin, Raimo Haukilahti, Mladen Nikitovic, Joakim Adomat: SoCrates - A Multiprocessor SoC in 40 days. In Proc. Conference on Design, Automation and Test in Europe 2001, Designer's Forum Munich, Germany, March 2001.

9. Mikael Collin, Mladen Nikitovic, Christer Norström: Reducing Occurrences of Priority Inversion in MSoC's Using Dynamic Processor Priority Assignment. In Proc. Work-in-Progress Session, 13th Euromicro Conference on Real-Time System Delft, Nederlands, June 2001.

10. Baran Çürüklü, Anders Lansner: Spike and burst synchronization in a detailed cortical network model with I-F neurons. In Proc. of the International Conference on Artificial Neural Networks, Vienna, Austria, August 2001. Springer-Verlag

11. Radu Dobrin, Gerhard Fohler, Peter Puschner: Translating Off-line Schedules into Task Attributes for Fixed Priority Scheduling. In Proc. Real-Time Systems Symposium London, UK, December 2001.

12. Radu Dobrin, Gerhard Fohler: Implementing Off-line Message Scheduling on Controller Area Network (CAN). In Proc. 8th IEEE Int. Conf. on Emerging Technologies & Factory Automation Nice, France, October 2001. IEEE Industrial Electronics Society.

13. Peter Drakenberg, Fredrik Lundevall, Björn Lisper: An Efficient Semi-Hierarchical Array Layout. In Proc. Workshop on Interaction between Compilers and Computer Architectures Monterrey, Mexico, January 2001. Kluwer

14. Leif Enblom, Lennart Lindh: Adding Flexibility and Real-Time Performance by Adapting a Single Processor Industrial Application to a Multiprocessor Platform. In Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, Mantova, Italy, February 7 - 9, 2001, February 2001. IEEE Computer Society.

15. Gerhard Fohler, Tomas Lennvall, Giorgio Buttazzo: Improved Handling of Soft Aperiodic Tasks in Offline Scheduled Real-Time Systems using Total Band. In Proc. 8th IEEE Int. Conf. on Emerging Technologies & Factory Automation Nice, France, October 2001. IEEE Industrial Electronics Society.

16. Peter Funk: Artificial Intelligence Techniques, the key to Flexible and Adaptive Internet and Intranet Applications. In Proc. SSGRR01, International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, Rome, Italy. August 2001.

17. Peter Funk: Processes and Structured Transition Rules for Case-Based Reasoning. In Workshop on Case-Based Reasoning Approaches for Process-Oriented Knowledge Management, ICCBR'2001, Vancouver, British Columbia, Canada, July 2001. Navy Center for Applied Research in Artificial Intelligence (NCARAI).

18. Hans Hansson, Christer Norström, Sasikumar Punnekkat: A Simulation based Approach for Estimating the Reliability of Distributed Real-time Systems. In Proc. 8th IEEE Int. Conf. on Emerging Technologies & Factory Automation Nice, France, October 2001. IEEE Industrial Electronics Society.

19. Thomas Larsson, Tomas Akenine-Möller: Collision Detection for Continuously Deforming Bodies. In Proc. Eurographics 2001, pp. 325-333 Manchester, UK, September 2001. Eurographics Association.

20. Magnus Larsson, Ivica Crnkovic: Configuration Management for Component-based Systems. In Proc. Software Configuration Management - SCM 10, 23rd ICSE Toronto, Canada, May 2001.


11

21. Björn Lisper, Peter Mellgren: Response-time Calculation and Priority Assignment with Integer Programming Methods. In Proc. Work-in-progress and Industrial Sessions, 13th Euromicro Conference on Real-Time Systems, pages 13-16 Delft, June 2001.

22. Pau Marti, Josep M. Fuertes, Gerhard Fohler: An Integrated Approach to Real-time Distributed Control Systems over Fieldbuses. In Proc. 8th IEEE Int. Conf. on Emerging Technologies & Factory Automation Nice, France, October 2001. IEEE Industrial Electronics Society.

23. Pau Marti, Josep M. Fuertes, Gerhard Fohler: Sampling Jitter Compensation in Real-Time Control Systems. In Proc. Work-in-progress Session, 13th Euromicro Conference on Real-Time Systems Delft, The Netherlands, June 2001.

24. Pau Marti, Ricard Villa, Josep M. Fuertes, Gerhard Fohler: On Real-Time Control Tasks Schedulability. In Proc. European Control Conference Porto, Portugal, September 2001.

25. Pau Marti, Gerhard Fohler, Krithi Ramamritham, Josep M. Fuertes: Jitter Compensation in Real-Time Control systems. In Proc. Real-Time Systems Symposium London, UK, December 2001. IEEE Computer Society.

26. Pau Marti, Ricard Villa, Josep M. Fuertes, Gerhard Fohler: Stability Of On-Line Compensated Real-Time Scheduled Control Tasks. In Proc. IFAC Conference on New Technologies for Computer Control Hong Kong, November 2001. IFAC.

27. Thomas Nolte, Hans Hansson, Christer Norström, Sasikumar Punnekkat: Using bit-stuffing distributions in CAN analysis. In Proc. IEEE/IEE Real-Time Embedded Systems Workshop London, December 2001. Department of Computer Science, University of York.

28. Christer Norström, Mikael Gustavsson, Kristian Sandström, Jukka Mäki-Turja, Nils-Erik Bånkestad: Experiences from Introducing State-of-the-art Real-Time Techniques in the Automotive Industry. In Proc. Eight IEEE International Conference and Workshop on the Engineering of Computer-Based Systems Washington, US , April 2001. IEEE Computer Society.

29. Annita Persson Dahlqvist, Ivica Crnkovic, Magnus Larsson: Managing Complex Systems - Challenges for PDM and SCM. In Proc. Software Configuration Management, SCM 10. 23rd ICSE Toronto, Canada, May 2001.

30. Filip Sebek: Measuring Cache Related Pre-emption Delay on a Multiprocessor Real-Time System. In Proc. IEEE/IEE Workshop on Real-Time Embedded Systems (RTES'01) London, December 2001. Department of Computer Science, University of York.

31. Mohammed El Shobaki, Lennart Lindh: A Hardware and Software Monitor for High-Level System-on-Chip Verification. In Proceedings of the IEEE International Symposium on Quality Electronic Design San Jose, CA, USA, March 2001. IEEE.

32. Henrik Thane, Anders Petterson, Hans Hansson: Integration Testing of Fixed Priority Scheduled Real-Time Systems. In Proc. IEEE/IEE Real-Time Embedded System Workshop London, December 2001. Department of Computer Science, University of York.

33. Henrik Thane, Anders Petterson: The Asterix Real-Time Kernel. In Proc. Work-in-progress and Industrial Sessions, 13th Euromicro Conference on Real-Time Systems, pages 13-16 Delft, June 2001.

34. Henrik Thane: Debugging Using Time Machines: replay your embedded system's history. In Proc. Real-Time & Embedded Computing Conference, Kap 22, Milan, Italy, November 2001.

35. Anders Wall, Christer Norström: A Component Model for Embedded Real-Time Software Product-Lines. In Proc. 4th IFAC conference on Fieldbus Systems and their Applications, Nancy (France), November 2001. International Federation of Automatic Control.


12

3.3. Ph.D. and Lic Theses 36. Elvy Westlund: Undervisnings- och utbildningsplanering – för vem? Ph.D. Thesis, Acta

Universitatis Upsaliensis, Uppsala Studies in Education 96, Uppsala University, April 2001.

37. Johan Furunäs: Interprocess Communication Utilising Special Purpose Hardware. Licentiate Thesis, Mälardalen University Press and Department of Information Technology, Uppsala University, December 2001.

38. Damir Isovic: Handling Sporadic Tasks in Real-time Systems - Combined Offline and Online Approach. Licentiate Thesis, Mälardalen University Press, June 2001.

39. Stefan Sjöholm: Designing ASIC/FPGA with Top Down design flow and VHDL. Licentiate Thesis, Dept. of Computer Engineering, Mälardalen University, March 2001.

3.4. Other reviewed scientific publications 40. Ivica Crnkovic, Magnus Larsson, Kung-Kiu Lau, Juliana K. Küster Filipe: Object-

Oriented Design Frameworks: Formal Specification and Some Implementation Issues. In Databases and Information Systems, Fourth International Baltic Workshop, Baltic DB&IS, pp.237-252, 2001. Kluwer Academic Publishers. ISBN 0-7923-6823-1.

41. Oscar Gonzalez, Krithi Ramamritham, Chia Shen, Gerhard Fohler: Building Real-Time Systems with Commercial-Off-The-Shelf Components. In Building Reliable Component-Based Systems, 2001. Artech House Publishers.

42. Damir Isovic, Christer Norström: Requirements for Real-Time Components. In Building Reliable Component-Based Systems, 2001. Artech House Publishers.

43. Frank Lüders, Ivica Crnkovic: Experiences with Component-Based Software Development in Industrial Control. In Proceedings of the First Swedish Conference on Software Engineering Research and Practice - SERP '01,pages 32-36 Ronneby, Sweden, October 2001. Blekinge Institute of Technology.

3.5. Other Conference Publications 44. Ivica Crnkovic, Magnus Larsson: Component-based Software Engineering - New

Paradigm of Software Development. Invited Paper, In Proc. MIPRO 2001 proceedings Opatija, Croatia, May 2001.

45. Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau: 4th Workshop on Component-Based Software Engineering. In Proc. 23rd International Conference on Software Engineering (ICSE2001) Toronto, Canada, May 2001. ACM, IEEE

46. Gordana Dodig-Crnkovic: What Ultimately Matters, Indeed? In Proc. Conference for the Promotion of Research in IT at New Universities and at University Colleges in Sweden, Part III, pages 12, Ronneby, April 2001. The Knowledge Foundation.

47. Peter Funk: Embedded AI, AI research at Mälardalen University. In Proc. SAIS2001 Skövde, March 2001.

48. Thomas Nolte, Hans Hansson: Modelling and Analysis of Message-Queues in Multi-Tasking Systems. In Proc. ARTES Real-Time Graduate Student Conference, pages 141-147 Lund, March 2001.

3.6. Other Scientific Publications 49. Stefan Benediktsson: TleBit - Tänkande Lego-Bit. Technical Report, May 2001. 50. Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau: 4th ICSE Workshop on

Component-Based Software Engineering: Component Certification and System Prediction. Software Engineering Notes, 26(10), November 2001. ACM SIGSOFT.


13

51. Ivica Crnkovic: Book review: Component-Based Software Engineering - Putting the Pieces Together, G. Heineman & W. Councill. In ABB ReuseIt NewsLetter 5., 2001. ABB.

52. Ivica Crnkovic, Magnus Larsson: Component-Based Development - a New Approach in Software Development. Technical Report, May 2001.

53. Ivica Crnkovic: Technology Park Västerås, Sweden - Modern technology for small companies. Technical Report, May 2001

54. Gordana Dodig-Crnkovic: Theory of Science. Technical Report, MDH Compendium, September 2001.

55. Gordana Dodig-Crnkovic: History of Computer Science, Technical Report, MDH Compendium, September 2001.

56. Leif Enblom: Performance of a Communication Mechanism over the PCI-bus. Technical Report, November 2001.

57. Johan Erikson, Jouni Axelsson: Theories for Estimating Execution Times in Soft Real-Time Systems Applied in the Telecommunication Domain. Technical Report, Mälardalen University, October 2001

58. Joakim Fröberg, Christer Norström: Requirements elicitation for an electronic platform in a complex automotive business organization, Technical Report.

59. Joakim Fröberg, Christer Norström: Case Study: A Component-Based Architecture for Real-Time Automotive Applications, Technical Report.

60. Damir Isovic, Gerhard Fohler: Simulation Analysis of Sporadic and Aperiodic Task Handling. Technical Report, May 2001.

61. Tomas Lennvall, Jan Carlson, Gerhard Fohler: Value Based Overload Handling of Aperiodic Tasks in Distributed Offline Scheduled Real-Time Systems, Technical Report, May 2001.

62. Björn Lisper, Per Hammarlund: The Data Field Model. Technical Report, June 2001. 63. Thomas Nolte, Hans Hansson, Christer Norström: Effects of varying phasings of message

queuings in CAN based systems. Technical Report, December 2001. 64. Filip Sebek: Cache Memories in Real-Time Systems. Technical Report 01/37, MRTC,

October 2001. 65. Mohammed El Shobaki: Non-Intrusive Hardware/Software Monitoring for Single- and

Multiprocessor Real-Time Systems. Technical Report, April 2001.

3.7. MSc Theses The following MSc-theses have been presented at the CE department in 2001:

33. Khoshpasand, Farshad; Rönning, Stefan: Internet Service for Configurable Visualization of Real Time Schedules

34. Axelsson, Jouni; Erikson, Johan: SAPP, Theories and Tools for Execution Time Estimation for Soft Real Time (Communication) Systems

35. Olofsson, Robert; Sollenborn, Mikael: AI och assistenter för e-buisiness

36. Jervelius, David: GLA-baserat system med regelbas utvecklad mha genetiska algoritmer

37. Shammas, Aziz: Simulation of a Real-Time System Based on Slot Shifting

38. Claesson, Anna; Svanteson, Helene: Wireless Communication to Sensors

39. Nilsson, Joachim; Rytterlund, Danie: Modular-Scheduling in Real-Time Linux


14

40. Steen, Henrik; Yang, Chen: Integrating ABB Aspect Directory with Microsoft Active Directory

41. Jalal, Zaid: CORBA API - Test och utvärdering av olika ORBar m.a.p prestanda

42. Hoffman, Liz: Web-based workplace

43. Zetterman, Daniel: CCM - Component configuration manager

44. Bohlin, Markus; Bruce, Lars: Redesign of the Oz Compiler

45. Ericsson, Niclas; Larsson, Robert: MRTOS Modular Real Time Operating System

46. Elmsäter, Johan: Bulletin Board gruppmeddelandesystem

47. Ericson, Torbjörn; Larsson, Henrik: Transformation & Exchange of information models

48. Sjögren, Andreas: Data Field Haskell 98

49. Carta, Carlo; Corda, Carla: Flexible network scheudling for real-time communications

50. Fundberg, Patrik: FältGIS

51. Skogevall Martin: Subdivision surfaces för modelleringsverktyg

52. Bendtsen, Mikael: Issues on the MidART Middleware for Mobile Devices on Wireless

53. Huselius, Joel: Issues on the MidART Middleware for Mobile Devices on Wireless Networks

54. Tasala, Seija; Olsson, Mariana: Dynamic RT scheduling on Windows NT

55. Al-Wandi, Akil: Design methods and automatic code generation from Real-Time Workshop in MATLAB

56. Rizvanovic, Larisa: Comparison between Real time Operative systems in hardware and software

57. Damberg, Magnus; Juntunen, Jan: Wireless Communication Technologies

58. Mellgren, Peter: Response Time Calculation, Priority Assignment and Holistic Scheduling with Integer Programming Methods

59. Björksten, Kenneth; Larsson, Kent: A first glance on introducing multi processing with base500 system

60. Timsjö, Susanne: OLE for process control for testing in Graphics Builder

61. Olovsson, Tobias: Evaluation of Ray Tracing Acceleration Technigues

Publications 2002

Reviewed Books 1. Ivica Crnkovic, Magnus Larsson: Building Reliable Component-Based Software Systems,

Artech House publisher 2002 ISBN: ISBN 1-58053-327-2,

Reviewed Journal Articles 2. Hans Hansson, Thomas Nolte, Christer Norström, Sasikumar Punnekkat: Integrating

Reliability and Timing Analysis of CAN-based Systems, IEEE Transaction on Industrial Electronics, 49(6), IEEE, December 2002.


15

3. Ivica Crnkovic, Brahim Hnich, Totte Jonsson, Zeynep Kiziltan: Specification, Implementation, and Deployment of Components, Communications of the ACM (CACM), 45(10), Association for Computing (ACM), October 2002.

4. Ivica Crnkovic, Stig Larsson, Judith Stafford: Component-Based Software Engineering: Building Systems from Components, Software Engineering Notes, 27(3), ACM SIGSOFT, May 2002.

Reviewed Int'l Conference Articles 5. Pau Marti, Gerhard Fohler, Krithi Ramamritham, Josep M. Fuertes: Control performance

of flexible timing constraints for Quality-of-Control Scheduling, 23 rd IEEE Real-time System Symposium, Austin, TX, USA, December 2002.

6. Thomas Nolte, Kwei-Jay Lin: Distributed Real-Time System Design using CBS-based End-to-end Scheduling, 2002 International Conference on Parallel and Distributed Systems (ICPADS 2002), National Central University, Taiwan, ROC, December 2002.

7. Damir Isovic, Gerhard Fohler, Liesbeth Steffens: Some Misconceptions about Temporal Constraints of MPEG-2 Video Decoding, WiP of the 23rd IEEE International Real-Time Systems Symposium (RTSS 2003), Austin, Texas, USA, December 2002.

8. Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström: Integrating Symbolic Worst-Case Execution Time Analysis with Aspect-Oriented System Development, OOPSLA 2002 Workshop on Tools for Aspect-Oriented Software Development, Seattle, November 2002.

9. Baran Çürüklü, Anders Lansner: An Abstract Model of a Cortical Hypercolumn, Proc. of the 9th International Conference on Neural Information Processing, pages 6, Singapore, November 2002.

10. Xavier Vera, Jingling Xue: Efficient Compile-Time Analysis of Cache Behaviour for Programs with IF Statements, International Conference on Algorithms And Architectures for Parallel Processing, Beijing, China, October 2002.

11. Anders Wall, Magnus Larsson, Christer Norström: Towards an Impact Analysis for Component Based Real-Time Product Line Architectures, will appear in Euromicro Conferance on Component Based Software Engineering, September 2002.

12. Mikael Sollenborn, Peter Funk: Category-Based Filtering and User Stereotype Cases to Reduce the Latency Problem in Recommender Systems, 6th European Conference on Case-Based Reasoning, ECCBR 2002, pages 395-405, Aberdeen, Scotland, Springer, September 2002.

13. Christina Wallin, S. Larsson, F. Ekdahl, Ivica Crnkovic: Combining Models for Business Decisions and Software Development, Euromicro Conference, Dortmund, IEEE, September 2002.

14. Peter Funk, Owen Conlan: Case-Based Reasoning to Improve Adaptability of Intelligent Tutoring Systems, In press, Workshop on Case-Based Reasoning for Education and Training, CBRET'2002, pages 15-23, Aberdeen, Scotland, Robert Gordon University, September 2002.

15. Thomas Nolte, Hans Hansson, Christer Norström: Minimizing CAN response-time jitter by message manipulation, The 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), San Jose, California, IEEE Computer Society, September 2002.

16. Filip Sebek, Jan Gustafsson: Determining the Worst Case Instruction Cache Miss-Ratio, Proceedings of Workshop On Embedded System Codesign (ESCODES'02), pages 6,, San José, CA, USA, September 2002.


16

17. Björn Lisper, Johan Malmström: Haxcel: A Spreadsheet Interface to Haskell, Proc. 14th International Workshop on the Implementation of Functional Languages, pages 206-222, Madrid, September 2002.

18. Frank Lüders, Ivica Crnkovic, Andreas Sjögren: A Component-Based Software Architecture for Industrial Control, Proc. Third Working IEEE/IFIP Conference on Software Architecture - WICSA 3., Montreal, Canada, Kluwer Academic Publishers, August 2002.

19. Jaume Abella, Antonio Gonzalez, Josep Llosa, Xavier Vera: Near-Optimal Tiling by means of Cache Miss Equations and Genetic Algorithms, Compile/Runtime Techniques for Parallel Computing (CRTPC), Vancouver, BC, Canada, IEEE, August 2002.

20. Ivica Crnkovic: Component-based Software Engineering: Building systems from components, Proceedings, COMPSAC 2002 Conference, Oxford, UK, IEEE, August 2002.

21. Frank Lüders, Ivica Crnkovic, Andreas Sjögren: Case Study: Componentization of an Industrial Control System, Proc. 26th Annual International Computer Software and Applications Conference - COMPSAC 2002., Oxford, UK, IEEE Computer Society Press, August 2002.

22. Martin Carlsson, Jakob Engblom, Andreas Ermedahl, Jan Lindblad, Björn Lisper: Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating System, Proc. Workshop on Real-Time Tools, (editor(s):Paul Pettersson and Wang Yi), Coopenhagen, Uppsala University, August 2002.

23. Xavier Vera, Josep Llosa, Antonio Gonzalez: Near-Optimal Padding for Removing Conflict Misses, Languages and Compilers for Parallel Computers (LCPC02), (editor(s):C.-W. Tseng), College Park, Maryland, LNCS - Springer Verlag, July 2002.

24. Johan Erikson, Peter Funk, Jan Gustafsson, Björn Lisper: A Tool Concept for Execution Time Analysis of Legacy Systems, Euromicro Real-Time Conference 2002, Work-in-Progress session, pages 4, June 2002.

25. Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson, Nils-Erik Bånkestad: Data Management Issues in Vehicle Control Systems: a Case Study, Euromicro Real-Time Conference 2002, June 2002.

26. Jan Gustafsson, Björn Lisper, , Christer Sandberg, Linus Sjöberg: A Prototype Tool for Flow Analysis of C Programs, WCET 2002 Workshop, (editor(s):Guillem Bernat), Vienna, June 2002.

27. Radu Dobrin, Gerhard Fohler: Reducing the Number of Preemptions in Standard Fixed Priority Scheduling, in Proc. 14th Euromicro International Conference on Real-Time Systems, Work in Progress Session,, Austria, June 2002.

28. Pau Marti, Josep M. Fuertes, Gerhard Fohler: A Control Performance Metric for Real-Time Timing Constraints, Proc. 14th Euromicro International Conference on Real-Time Systems, Work in Progress Session, Austria, June 2002.

29. Mikael Sollenborn, Peter Funk: Category-Based Filtering in Recommender Systems for Improved Performance in Dynamic Domains, 2nd International Conference on Adaptive Hypermedia and Adaptive Web Based Systems, pages 4, Springer, Malaga, Spain, May 2002.

30. Tomas Lennvall, Gerhard Fohler, Björn Lindberg: Handling Aperiodic Tasks in Diverse Real-Time Systems via Plug-Ins, 5th IEEE International Symposium on Object-oriented Real-time distributed Computing, Washington, May 2002.

31. Anders Wall, Magnus Larsson, Christer Norström, Ivica Crnkovic: Using Prediction Enabled Technologies for Embedded Product Line Architectures, ICSE workshop on 5th ICSE Workshop on Component-Based Software Engineering, May 2002.


17

32. Ivica Crnkovic, Daniel Svesson: Information Management for Multi-Technology Products, 7th INTERNATIONAL DESIGN CONFERENCE, Dubrovnik, Croatia, SIG of the Design Society, May 2002.

33. Erik Gyllenswärd, Mladen Kap, Rikard Land: INFORMATION ORGANIZER, A comprehensive view on reuse, International Conference on Enterprise Information Systems, (editor(s):Erik Gyllenswärd, Rikard Land, Mladen Kap), pages 8, April 2002.

34. Rikard Land: Improving Quality Attributes of a Complex System Through Architectural Analysis – A Case Study, Engineering of Computer-Based Systems, pages 167-174, Lund, Sweden, IEEE, April 2002.

35. Kristian Sandström, Christer Norström: Managing Complex Temporal Requirements in Real-Time Control Systems, 9th IEEE Conference on Engineering of Computer-Based Systems, Sweden, IEEE, April 2002.

36. Jan Gustafsson: A Prototype Tool for Flow Analysis of Object-Oriented Programs, ISORC 2002, (editor(s):L. Bacellar, P. Puschner, and S. Hong), pages 91 - 100, Washington, DC - USA, IEEE, April 2002.

37. Thomas Nolte, Hans Hansson, Christer Norström: Effects of varying phasings of message queuings in CAN based systems, The 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), Tokyo, Japan, March 2002.

38. Mohammed El Shobaki: On-Chip Monitoring of Single- and Multiprocessor Hardware Real-Time Operating Systems, Proceedings of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA), March 2002.

39. Peter Funk: Intelligent Human Computer Collaboration (HCC), GWEM2002, German Workshop on Experience Management, (editor(s):Steffen Staab and Mirjam Minor), Berlin, March 2002.

40. Damir Isovic, Christer Norström: Components in Real-Time Systems, The 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), Tokyo, Japan, March 2002.

41. Xavier Vera, Jingling Xue: Let's Study Whole-Program Cache Behaviour Analytically, International Symposium on High-Performance Computer Architecture (HPCA 8), (editor(s):IEEE), Cambridge, MA, February 2002.

42. Gerhard Fohler, Damir Isovic, Tomas Lennvall, Roger Vuolle: SALSART - A Web Based Cooperative Environment for Offline Real-time Schedule Design, 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing (PDP), Gran Canaria, Spain, January 2002.

43. Jan Gustafsson: Worst Case Execution Time Analysis of Object-Oriented Programs, Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002) January 7-9, 2002, San Diego,CA, IEEE, January 2002.

Ph.D. and Lic Theses 44. Filip Sebek: Instruction Cache Memory Issues in Real-Time Systems, Licentiate Thesis,

Mälardalen University Press, October 2002. 45. Kristian Sandström: Enforcing Temporal Constraints in Embedded Control Systems, Phd

Thesis, Royal Institute of Technology, April 2002. 46. Xavier Vera: Towards A Static Cache Analysis for Whole Program Analysis, Licentiate

Thesis, Mälardalen University Press, March 2002. 47. Christina Björkman (CSL), Challenging Canon: The Gender Question in Computer

Science. Licentiate Thesis, Blekinge Institute of technology, June 2002.


18

Other reviewed scientific publications 48. Erik Gyllenswärd, Mladen Kap: A Framework for Integrating Bussiness Applications, In

Building Reliable Component-Based Software Systems (editor(s): Ivica Crnkovic and Magnus Larsson), Artech House Publishers, ISBN: 1-58053-327-2, 2002.

49. Damir Isovic, Christer Norström: Requirements for Real-Time Components, In Building Reliable Component-Based Systems(editor(s):Ivica Crnkovic and Magnus Larsson), Artech House Publishers, 2002.

50. Ivica Crnkovic, Stig Larsson, Judith Stafford: Workshop on Component-Based Software Engineering: Composing Systems from Components, In ECBS 2002 Proceedings, IEEE, ACM, 2002.

51. Henrik Thane, Anders Wall: Testing Reusable Software Components in Safety-Critical Real-Time Systems, Building reliable component-based software systems(editor(s):I. Crnkovic and M. Larsson), Artech House Publishers, ISBN: 1-58053-327-2, 2002.

52. Ivica Crnkovic, Totte Jonsson, Brahim Hnich, Zeynep Kiziltan: The Definition and Specification of Components, Building Reliable Component-Based Systems(editor(s):Ivica Crnkovic and Magnus Larsson), 2002.(editor(s):Ivica Crnkovic and Magnus Larsson), Artech House Publishers, ISBN: 1-58053-327-2, 2002.

53. Ivica Crnkovic, Benneth Christiansson, Lars Jakobsson: Component-Based Development Process, Building Reliable Component-Based Software Systems(editor(s):Ivica Crnkovic and Magnus Larsson), Artech House Publishers, ISBN: 1-58053-327-2, 2002.

54. Frank Lüders, Kung-Kiu Lau, Shui-Ming Ho: Specification of Software Components, Building Reliable Component-based Software Systems(editor(s):Ivica Crnkovic, Magnus Larsson),pages 52-69, ARTECH HOUSE BOOKS, ISBN: 1580533272, 2002.

55. Zhonghai Lu, Raimo Haukilahti: NoC Application Programming Interfaces. Networks on Chip, eds. Axel Jantsch and Hannu Tenhunen, pp. 239-260, 2003. Kluwer Academic Publishers

56. Rikard Land: Software Deterioration And Maintainability – A Model Proposal, Second Conference on Software Engineering Research and Practise in Sweden (SERPS), Karlskrona, Sweden, Blekinge Institute of Technology, October 2002.

57. Gordana Dodig-Crnkovic: Scientific Methods in Computer Science, Conference for the Promotion of Research in IT at New Universities and at University Colleges in Sweden, Skövde, April 2002.

Other Conference Publications 58. Raimo Haukilahti: Energy Characterization of a RTOS Hardware Accelerator for SoCs,

Swedish System-on-Chip Conference, Falkenberg, Sweden, March 2002.

Other Scientific Publications 59. Damir Isovic, Gerhard Fohler: Quality Aware Frame Selection for Real-Time MPEG-2

Video Decoding under Limited Resources, Technical Report , MRTC, December 2002. 60. Anders Wall, Markus Lindgren, Tage Tarkpea: Experiences from Introducing UML and

OO in an Organization, Technical Report, December 2002. 61. Joel Huselius: A Constant Execution Time Eviction Scheduler, Technical Report 87, Joel

Huselius, December 2002. 62. Thomas Nolte, Hans Hansson, Christer Norström: Probabilistic Worst-Case Response-

Time Analysis for the Controller Area Network, Technical Report, MRTC, November 2002.

63. Baran Çürüklü, Jonas Neander: Introducing priorities for IPv4, Technical Report 666, November 2002.


19

64. Jukka Mäki-Turja, Mikael Sjödin: Combining Dynamic and Static Scheduling in Hard Real-Time Systems, Technical Report 71, MRTC, October 2002.

65. Xavier Vera, Björn Lisper: Data Cache Locking for Higher Program Predictability, Technical Report 79, October 2002.

66. Joel Huselius: Debugging Parallel Systems: A State of the Art Report, Technical Report 63, Department of Computer Science and Engineering, September 2002.

67. Filip Sebek: The real cost of task pre-emptions - measuring real-time-related cache performance with a HW/SW hybrid technique, Technical Report 02/58, August 2002.

68. Jan Carlson: Languages and methods for specifying real-time systems, Technical Report , August 2002.

69. Damir Isovic, Gerhard Fohler: Analysis of MPEG-2 Video Streams, Technical Report , MRTC, August 2002.

70. Christina Wallin: Successful Software Product Development, Research Area and Plan, Technical Report , Christina Wallin, May 2002.

71. Jan Carlson, Tomas Lennvall, Gerhard Fohler: Simulation Results and Algorithm Details for Value Based Overload Handling, Technical Report , May 2002.

72. Ivica Crnkovic, Stig Larsson, Judith Stafford: Workshop on Component-based Software Engineering: COMPOSING SYSTEMS FROM COMPONENTS, Technical Report, May 2002.

73. Thomas Nolte, Hans Hansson, Mikael Sjödin: Efficient and fair scheduling of periodic and aperiodic messages on CAN using EDF and Constant Bandwidth Servers, Technical Report , MRTC, May 2002.

74. Mikael Sjödin: Response-Time Analysis for Dynamically and Statically Scheduled Systems, Technical Report 55, April 2002.

75. Kristian Sandström, Christer Norström: Managing Temporal Constraints in Control Systems, Technical Report 45, MRTC, April 2002.

76. Thomas Nolte: Reducing pessimism in CAN response time analysis, Technical Report 51, March 2002.

77. Thomas Nolte, Hans Hansson, Christer Norström: Minimizing CAN response-time jitter by message manipulation, Technical Report 52, March 2002.

78. Rikard Land: A Brief Survey of Software Architecture, Technical Report , MRTC, February 2002.

79. Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström: Embedded Databases for Embedded Real-Time Systems: A Component-Based Approach, Technical Report 43, January 2002.

80. Ivica Crnkovic, Annita Persson Dahlqvist, Ulf Asklund, Magnus Larsson, Daniel Svesson: PDM and SCM: Similarities and differences, Technical Report , Sveriges Verkstadsindustrier, January 2002.

81. Gordana Dodig-Crnkovic: Computer Science in a Theory of Science Discourse, Technical Report, January 2002.

MSc Theses The following MSc-theses have been presented at the CSE department in 2002:

62. Dodig-Crnkovic, Gordana: Computer Science in a theory of Science Discourse

63. Johansson, Mikael, Örmo, Andreas: Visual Programming

64. Boyzak, Magdalena, Mannerstedt, Fredrik: Database Management of Robot Configuration Data

65. Bercerra, Leonardo, Mohammadi, Abdollah: Migratin from COM to .NET


20

66. Al-Wandi, Adil, Hessadi, Mehrdad: Monitoring of system workload

67. Nyström, Dag: Embedded Real-Time Databases: an Overview

68. Fransson, Henrik: Visualization tool for orthopedic operations

69. Hoffström, Henrik: Small and simple real time operating systems

70. Sjöberg, Linus: Elimination of variables that do not affect control flow in C-programs

71. Gustafsson, Stefan: Analysis of methodology to share and distribute information from the PDM-system at Seco Tools AB

72. Nyholm, Caroline: Designing Component-Based System with UML Contract Specifications

73. Gyllendahl, Conny, Sheppard, Ezra: Intelligent Properties for Patient Information Systems

74. Samuelsson, Tobias: Design and Benchmarking of Real-Time Multiprocessor Operating

75. Åkerholm, Mikael: System Kernels

76. Lindén, Per, Wilén, Tomas: Design and Implementation of a Platform Independent 3D Graphics Framework

77. Nolte, Thomas: Reducing pessimism in CAN response time analysis

78. Higberg, Lena: Power/Energy Simulators for Embedded Systems

79. Bertilsson, Tony: Implementation Analysis for Databases in Embedded Systems

80. Jakobsson, Beatrice: DPM - Dynamic power management for a hardware RTOS

81. Samuelsson, Patrik, Hultman, Christian: Design of a Real-Time Controlled Bandwidth Reducing Multimedia System

8 Publications 2003

8.1 Research publications

8.1.1 Books 1. Ivica Crnkovic, Ulf Asklund, Annita Persson Dahlqvist: Implementing and Integrating

Product Data Management and Software Configuration Management, Artech House Publishers 2003 ISBN: 1-58053-498-8,

2. Stefan Sjöholm, Lennart Lindh: VHDL För Konstruktion, Studentlitteratur 2003 ISBN: 91-44-02471-1,

3. Stefan Sjöholm, Lennart Lindh: VHDL- En Introduktion, Studentlitteratur 2003 ISBN: 91-44-02932-2,

8.1.2 Journals 4. Gordana Dodig-Crnkovic: Shifting the Paradigm of the Philosophy of Science: the

Philosophy of Information and a New Renaissance, Minds and Machines: Special Issue on the Philosophy of Information, Volume 13, Issue 4, Kluwer, September 2003.

5. Jakob Engblom, Andreas Ermedahl, Mikael Nolin, Jan Gustafsson, Hans Hansson: Worst-Case Execution-Time Analysis for Embedded Real-Time Systems, Journal of Software Tool and Transfer Technology (STTT), 4(4):437-455, Springer Verlag, August 2003.

6. Thomas Larsson, Tomas Akenine-Möller: Efficient collision detection for models deformed by morphing, The Visual Computer, 19(2-3):164-174, Springer, June 2003.


21

7. Henrik Thane: Time Machines and Black Box Recorders for Embedded Systems Software, ERCIM News, (52):32-33, European Research Consortium for Informatics and Mathematics, January 2003.

8.1.3 Theses 8. Baran Çürüklü: Layout and Function of the Intracortical Connections within the Primary

Visual Cortex, Licentiate Thesis, Mälardalen University Press, December 2003. 9. Radu Dobrin: Transformation Methods for Off-line Schedules to Attributes for Fixed

Priority Scheduling, Licentiate Thesis, Mälardalen University, May 2003. 10. Leif Enblom: Utilizing Concurrency to Gain Performance in an Industrial Automation

System, Licentiate Thesis, Mälardalen University Press, November 2003. 11. Joel G Huselius: Preparing for Replay, Licentiate Thesis, Mälardalen University Press,

November 2003. 12. Thomas Larsson: Adaptive Algorithms for Collision Detection and Ray Tracing of

Deformable Meshes, Licentiate Thesis, Mälardalen University Press, October 2003. 13. Tomas Lennvall: Handling Aperiodic Tasks and Overload in Distributed Off-line

Scheduled Real-Time Systems, Licentiate Thesis, Mälardalen University, May 2003. 14. Frank Lüders: Use of Component-Based Software Architectures in Industrial Control

Systems, Licentiate Thesis, Mälardalen University Press, December 2003. 15. Thomas Nolte: Reducing Pessimism and Increasing Flexibility in the Controller Area

Network, Licentiate Thesis, Mälardalen University, May 2003. 16. Dag Nyström: COMET: A Component-Based Real-Time Database for Vehicle Control-

Systems, Licentiate Thesis, Mälardalen University Press, May 2003. 17. Anders Pettersson: Analysis of Execution Behavior for Testing of Multi-Tasking Real-

Time System, Licentiate Thesis, Mälardalen University Press, October 2003. 18. Rikard Land: An Architectural Approach to Software Evolution and Integration,

Licentiate Thesis, Mälardalen University Press, September 2003. 19. Anders Wall: Architectural Modeling and Analysis of Complex Real-Time Systems, Phd

Thesis, Mälardalen University Press, September 2003. 20. Christina Wallin: A Process Approach for Senior Management Involvement in Software

Product Development, Licentiate Thesis, Mälardalen University Press, December 2003.

8.1.4 Articles in collections 21. Gerhard Fohler, Tomas Lennvall, Radu Dobrin: A Component Based Real-time

Scheduling Architecture, Architectures for Dependable Systems(editor(s):Rogerio de Lemos, Cristina Gacek, and Alexander Romanovsky), Springer Verlag, 2003.

22. Zhonghai Lu, Raimo Haukilahti: NoC Application Programming Interfaces, Networks on Chip(editor(s):Axel Jantsch and Hannu Tenhunen),pages 239-260, Kluwer Academic Publishers, ISBN: -, 2003.

8.1.5 Conferences and workshops 23. Bilge E. S. Akgul, Vincent John Mooney III, Henrik Thane, Pramote Kuacharoen:

Hardware Support for Priority Inheritance, Proceedings of the of the IEEE Real-Time Systems Symposium (RTSS'03), pages 246-254, Cancun, Mexico, IEEE, December 2003.

24. Mats Björkman, Andreas Johnsson, Bob Melander: Bandwidth Measurements from a Consumer Perspective - A Measurement Infrastructure in Sweden, Bandwidth Estimation Workshop (BEst), San Diego, December 2003.


22

25. Jan Carlson, Björn Lisper: An interval-based algebra for restricted event detection, First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003), Marseille, France, September 2003.

26. Jan Carlson, Tomas Lennvall, Gerhard Fohler: Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration, 6th IEEE International Symposium on Object-oriented Real-time distributed Computing, Hakodate, Japan, May 2003.

27. Ivica Crnkovic, Igor Cavrak, Johan Fredriksson, Rikard Land, Mario Zagar, Mikael Åkerholm: On the Teaching of Distributed Software Development, 25th International Conference INFORMATION TECHNOLOGY INTERFACES, Dubrovnik, Croatia, IEEE, June 2003.

28. Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau: 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, 25th International Conference of Software Engineering, ICSE, Portland, Oregon, IEEE, May 2003.

29. Ivica Crnkovic, Rikard Land, Andreas Sjögren: Is Software Engineering Training Enough for Software Engineers?, 16th International Conference on Software Engineering Education and Training, Madrid, IEEE, March 2003.

30. Baran Çürüklü, Anders Lansner: Quantitative Assessment of the Local and Long-Range Horizontal Connections within the Striate Cortex, Special Session on "Biologically Inspired Computational Vision" at the 2nd Int. Conf. on Computational Intelligence, Robotics and Autonomous Systems, Sigapore, IEEE, December 2003.

31. Gordana Dodig-Crnkovic, Ivica Crnkovic: Computing Curricula: Teaching Theory of Science to Computer Science Students, Hawaii International Conference on Education, Honolulu, Hawaii, USA, January 2003.

32. Gordana Dodig-Crnkovic: Computing Curricula: Social, Ethical, and Professional Issues, Conf. for the Promotion of Research in IT at New Universities and at University Colleges in Sweden, (May 2003), January 2003.

33. Gordana Dodig-Crnkovic: Om vikten av att undervisa datavetare och datatekniker i professionell etik, , Den femte nationella kvalitetskonferensen - Högskoleverket i samarbete med Malmö högskola, March 2003.

34. Leif Enblom: Parallel Execution of I/O System and Application Functionality, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, (editor(s):H.R. Arabnia and Youngsong Mun), pages 786-792, Las Vegas, Nevada, USA, CSREA Press, June 2003.

35. Andreas Ermedahl, Friedhelm Stappert, Jakob Engblom: Clustered Calculation of Worst-Case Execution Times, Sixth International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, (CASES'03), pages 12, DoubleTree Hotel, San Jose, California, USA, ACM, October 2003.

36. Johan Fredriksson, Mikael Åkerholm, Kristian Sandström, Radu Dobrin: Attaining Flexible Real-Time Systems by Bringing Together Component Technologies and Real-Time Systems Theory, Proceedings of the 29th Euromicro Conference, Component Based Software Engineering Track, Belek, Turkey, IEEE, September 2003.

37. Joakim Fröberg, Kristian Sandström, Christer Norström, Hans Hansson, Jakob Axelsson, Björn Villing: Correlating Bussines Needs and Network Architectures in Automotive Applications - a Comparative Case Study, Proceedings of the 5th IFAC International Conference on Fieldbus Systems and their Applications (FET), pages 219-228, Aveiro, Portugal, IFAC, July 2003.

38. Jan Gustafsson, Björn Lisper, Peter Puschner: Input-Dependency Analysis for Hard Real-Time Software, 9-th IEEE International Workshop on Object-oriented Real-time


23

Dependable Systems (WORDS 2003F), (editor(s):Luiz Bacellar, Gerhard Fohler), Capri Island, Italy, IEEE, October 2003.

39. Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo: A Tool for Automatic Flow Analysis of C-programs for WCET Calculation, In Eight IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, (editor(s):Bob Werner), pages 106 - 112, Guadalajara, Mexico, IEEE, January 2003.

40. Joel G Huselius, Daniel Sundmark, Henrik Thane: Starting Conditions for Post-Mortem Debugging using Deterministic Replay of Real-Time Systems, Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS03), pages 177-184, Porto, Portugal, July 2003.

41. Joel G Huselius, Henrik Thane, Daniel Sundmark: Availability Guarantee for Deterministic Replay Starting Points in Real-Time Systems, Proceedings of the 5th International Workshop on Algorithmic and Automated Debugging (AADEBUG03), pages 261-264, Ghent, Belgium, September 2003.

42. Damir Isovic, Gerhard Fohler, Liesbeth Steffens: Timing constraints of MPEG-2 decoding for high quality video: misconceptions and realistic assumptions, Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 03), Porto, Portugal, IEEE, July 2003.

43. Andreas Johnsson: On the Comparison of Packet-Pair and Packet-Train Measurements, Swedish National Computer Networking Workshop, Arlandastad, September 2003.

44. Rikard Land, Ivica Crnkovic, Christina Wallin: Integration of Software Systems – Process Challenges, Euromicro Conference, Track on Software Process and Product Improvement, Antalya, Turkey, IEEE, September 2003.

45. Rikard Land, Ivica Crnkovic: Software Systems Integration and Architectural Analysis – A Case Study, International Conference on Software Maintenance, Amsterdam, Netherlands, IEEE, September 2003.

46. Rikard Land: Applying the IEEE 1471-2000 Recommended Practice to a Software Integration Project, International Conference on Software Engineering Research and Practice (SERP`03), Las Vegas, Nevada, CSREA Press, June 2003.

47. Rikard Land, Igor Cavrak: Taking Global Software Development from Industry to University and Back Again, ICSE 2003 International Workshop on Global Software Development (GSD 2003), (editor(s):Daniela Damian, Filippo Lanubile, and Heather L. Oppenheimer), Portland, Oregon, ACM, May 2003.

48. Stig Larsson: Towards an Efficient and Effective Process for Integration of Component-Based Software Systems, SERPS’03 - Proceedings of the 3rd Conference on Software Engineering Research and Practise in Sweden, Lund, Sweden, October 2003.

49. Stig Larsson, F. Ekdahl: Are Limited Non-intrusive CMMI-based Appraisals Enough?, Proceedings of the ESEIW 2003 Workshop on Empirical Studies in Software Engineering WSESE 2003, (editor(s):Andreas Jedlitschka, Marcus Ciolkowski), Fraunhofer IRB Verlag, Stuttgart, Germany, September 2003.

50. Thomas Larsson: Continuous examination using take-home problems - experiences and results in a course on data structures and algorithms, Conference of Development of Higher Education, Gävle, Sweden, The Council for the Renewal of Higher Education, November 2003.

51. Jaehwan Lee, Karl Ingström, Anders Daleby, Tommy Klevin, Vincent John Mooney III, Lennart Lindh: A Comparison of the RTU Hardware RTOS with a Hardware/Software RTOS, ASP-DAC 2003 (Asia and South Pacific Design Automation Conference 2003), (editor(s):Jaehwan Lee, Vincent John Mooney III, Karl Ingström, Anders Daleby, Tommy Klevin* and Lennart Lindh*), pages 6, Kitakyushu International Conference Center, Japan, January 2003


24

52. Rikard Lindell, When Information Navigation Divorces File Systems –Database Surface Prototype Results, Proceedings of the Good, the Bad and the Irrelavant, (editor(s): Kari-Hans Kommonen), Media Centre Lume (http://www.lume.fi ) of the Uni, September 2003

53. Rikard Lindell, Users Say: We Do Not Like to Talk to Each Other, Proceedings of Second International Workshop on Interactive Graphical Communication, (editor(s):Nick Bryan-Kinns), Institute for Contemporary Arts (ICA) in central, Queen Mary University Press, August 2003.

54. Giuseppe Lipari, Gerhard Fohler: A Framework for Composing Real-Time Schedulers, International Workshop on Test and Analysis of Component Based Systems, Warsaw, Poland, April 2003.

55. Björn Lisper: Fully Automatic, Parametric Worst-Case Execution Time Analysis, Proc. Third International Workshop on Worst-Case Execution Time (WCET) Analysis, (editor(s):Jan Gustafsson), pages 77-80, Porto, July 2003.

56. Goran Mustapic, Johan Andersson, Christer Norström: A Dependable Real-Time Platform for Industrial Robotics, ICSE 2003 WADS, Portland, OR USA, May 2003.

57. Jukka Mäki-Turja, Mikael Nolin: Faster Response Time Analysis of Tasks With Offsets, WiP Session of Real-Time Systems Symposium (RTSS), Cancun, Mexico, December 2003.

58. Anders Möller, Joakim Fröberg, Mikael Nolin: What are the needs for components in vehicular systems? - An industrial perspective, Real-Time in Sweden (RTiS), Västerås, Sweden, MRTC, August 2003.

59. Anders Möller, Mikael Åkerholm, Johan Fredriksson, Mikael Nolin: Software Component Technologies for Real-Time Systems - An Industrial Perspective, WiP Session of Real-Time Systems Symposium (RTSS), Cancun, Mexico, December 2003.

60. Anders Möller, Joakim Fröberg, Mikael Nolin: What are the needs for components in vehicular systems? - An industrial perspective -, Proceedings of the WiP Session of the 15th Euromicro Conference on Real-Time Systems, pages 45 - 48, Porto, Portugal, July 2003.

61. Markus Nilsson, Peter Funk, Mikael Sollenborn: Complex Measurement Classification in Medical Applications Using a Case-Based Approach, ICCBR'03 - The Fifth International Conference on Case-Based Reasoning - Workshop proceedings, (editor(s):Lorraine McGinty), pages 63-73, Trondheim, Norway, Springer, June 2003.

62. Markus Nilsson, Peter Funk: Classification of psycho-physiological measurements in medical systems, SAIS-SSLS 2003 Joint Workshop, Örebro, Sweden, April 2003.

63. Thomas Nolte, Anders Möller, Mikael Nolin: Using Components to Facilitate Stochastic Schedulability Analysis, Work-In-Progress Session of the 24th IEEE Real-Time Systems Symposium (RTSS'03), (editor(s):Tarek Abdelzaher), pages 7-10, Cancun, Mexico, IEEE Computer Society, December 2003.

64. Thomas Nolte, Mikael Nolin, Hans Hansson: Server-Based Scheduling of the CAN Bus, 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2003), Calouste Gulbenkian Foundation, Lisbon, Portugal, September 2003.

65. Thomas Nolte: Session Summary: QoS over IP, 2nd International Workshop on Real-Time Lans in the Internet Age (RTLIA 2003) in conjunction with the 15th Euromicro International Conference on Real-Time Systems (ECRTS 2003), Polytechnic Institute of Porto, Portugal, July 2003.

66. Thomas Nolte, Mikael Nolin, Hans Hansson: Using Servers to Provide Bandwidth Isolation on the Controller Area Network, 2nd International Workshop on Real-Time Lans in the Internet Age (RTLIA 2003) in conjunction with the 15th Euromicro International Conference on Real-Time Systems (ECRTS 2003), Polytechnic Institute of Porto, Portugal, June 2003.


25

67. Thomas Nolte, Hans Hansson, Christer Norström: Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network, Ninth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), Toronto, Canada, IEEE Computer Society Press, May 2003.

68. Christer Norström, Anders Wall, Johan Andersson, Kristian Sandström: Increasing maintainability in complex industrial real-time systems by employing a non-intrusive method, proceedings of the workshop on Migration and Evolvability of Long-life Software Systems (MELLS '03), Erfurt, Germany, September 2003.

69. Peter Nygren, Lennart Lindh: Uniform Interprocess Communication interface for Hardware and, International Workshop on Advanced Real-Time Operating System Services (ARTOSS), Porto, Portugal, IEEE, July 2003.

70. Dag Nyström, Mikael Nolin, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson: Pessimistic Concurrency-Control and Versioning to Support Database Pointers in Real-Time Databases, In submission, December 2003.

71. Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson: Database Pointers: a Predictable Way of Manipulating Hot Data in Hard Real-Time Systems, Proceeding of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2003), pages 12, Tainan, Taiwan, February 2003.

72. Anders Pettersson, Henrik Thane: Testing of Multi-Tasking Real-Time Systems with Critical Sections, In proceedings of the 9th International Conference on Real-Time and Embedded, Tainan City, Taiwan, R.O.C, February 2003.

73. Tobias Samuelsson, Mikael Åkerholm, Peter Nygren, Johan Stärner, Lennart Lindh: A Comparison of Multiprocessor Real-Time Operating Systems Implemented in Hardware and Software, International Workshop on Advanced Real-Time Operating System Services (ARTOSS), Porto, Portugal, July 2003.

74. Christer Sandberg: Elimination of Unstructured Loops in Flow Analysis, WCET 2003 Workshop, Porto, July 2003.

75. Mikael Sandberg, Daniel Persson, Björn Lisper: Automatic Dimensional Consistency Checking for Simulation Specifications, SIMS 2003, (editor(s):Erik Dahlqvist), pages 6, Västerås, September 2003.

76. Stefan Sjöholm: Analysis of replacing software-based systems with FPGA and acase study on a digital output IO-board, Euromicro Symposium on Digital System Design, Belek, Turkey., IEEE, February 2003.

77. Liesbeth Steffens, Gerhard Fohler, Giuseppe Lipari, Giorgio Buttazzo: Resource Reservation and Service Contract, nternational Workshop on Advanced Real-Time Operating Systems Services (ARTOSS 2003), Porto, Portugal, July 2003.

78. Daniel Sundmark, Henrik Thane, Joel G Huselius, Anders Pettersson: Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies, Proceedings of the 5th International Workshop on Algorithmic and Automated Debugging (AADEBUG03), pages 211-222, Gent, Belgium, September 2003.

79. Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström: Aspect-Level Worst-Case Execution Time Analysis of Real-Time Systems, Proceedings of the 27th IFAC/IFIP/IEEE Workshop on Real-Time Systems, May 2003.

80. Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström: Towards Aspectual Component-Based Development of Real-Time Systems, Proceeding of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2003), Tainan, Taiwan, February 2003.

81. Henrik Thane, Daniel Sundmark, Joel G Huselius, Anders Pettersson: Replay Debugging of Real-Time Systems Using Time Machines, Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS'03), presented at the First International


26

Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), pages 288-295, Nice, France, ACM, April 2003.

82. Anders Wall, Johan Andersson, Jonas Neander, Christer Norström, Martin Lembke: Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems, In proceedings of RTCSA 03, February 2003.

83. Anders Wall, Johan Andersson, Christer Norström: Probabilistic Simulation-based Analysis of Complex Real-Times Systems. In Proc. the 6th IEEE International Symposium on Object-oriented Real-time distributed Computing, Hakodate, Hokkaido, Japan, IEEE Computer Society, May 2003.

84. Christina Wallin, Ivica Crnkovic: Three Aspects of Successful Software Development Projects, “When are projects canceled, and why?”, Euromicro Conference, Balek, Turkey, IEEE, September 2003.

85. Weirong Wang, Al Mok, Gerhard Fohler: A Hybrid Proactive Approach for Integrating Off-line and On-line Real-Time Schedulers, Third International Conference on Embedded Software, Philadelphia, PA, USA, October 2003.

86. Xavier Vera, Jaume Abella, Antonio Gonzalez, Josep Llosa: Optimizing Program Locality Through CMEs and GAs, 12th International Conference on Parallel Architectures and CompilationTechniques (PACT), New Orleans, IEEE, September 2003.

87. Xavier Vera, Björn Lisper, Jingling Xue: Data Cache Locking for Higher Program Predictability, International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), pages 272--282, San Diego, California, ACM Press, June 2003.

88. Xavier Vera, Björn Lisper, Jingling Xue: Data Caches in Multitasking Hard Real-Time Systems, International Real-Time Systems Symposium (RTSS), Cancun, MX, IEEE, December 2003.

8.1.6 Technical reports 89. Jan Carlson: Licentiate thesis proposal: A resource-efficient event detection algebra,

Technical Report, November 2003. 90. Baran Çürüklü, Anders Lansner: Layout and Function of the Intracortical Connections

within Layer 4 of Cat Area 17, Technical Report , September 2003. 91. Jan Gustafsson, Nerina Bermudo, Linus Sjöberg: Flow Analysis for WCET calculation,

Technical Report , Jan Gustafsson, March 2003. 92. Joel G Huselius: Source-Code to the ECETES Logging Strategy, Technical Report ,

August 2003. 93. Damir Isovic, Gerhard Fohler: Resource Aware MPEG-2 Playout Using Real-time

Scheduling, Technical Report , Malardalen Real-Time Research Centre, March 2003. 94. Waldemar Kocjan, Per Kreuger: Filtering Methods for Symmetric Cardinality Constraint,

Technical Report , Swedish Institute Of Computer Science, August 2003. 95. Markus Nilsson: Artificial intelligence diagnostics in psychophysiological medicine,

Technical Report , September 2003. 96. Thomas Nolte, Mikael Nolin, Hans Hansson: Providing Bandwidth Isolation on the

Controller Area Network by Using Servers, Technical Report , April 2003. 97. Anders Pettersson: The Revised EOG-algorithm., Technical Report, October 2003. 98. Filip Sebek, Mohammed El Shobaki: IDT-nytt 2003 september, Technical Report ,

September 2003. 99. Mikael Sollenborn: Clustering and Case-Based Reasoning for User Stereotypes, Technical

Report , November 2003.


27

8.2 MSc Theses The following MSc‐theses have been presented at the CSE department in 2003:

82. Ala-Kurikka, Jari ; Golpayegani Fard Baharak: Enabling Distributed Simulation Usign an Extensible Middleware Web Service Component

83. Blomkvist, Pier; Haeppling, Magnus: Using Voice to Control and Supervise Processes in a Wireless Environment

84. Bodin, Henrik: Positionering av Mobila Enheter 85. Byström, Christine; Johansson, Robert: Synchronizing Real-Time Data Streams over

Wireless Networks 86. Chryssovitsdanos, Panagiotis; Jonsson, Casper: Real-time Dynamics in Games 87. Ehlin, Jonas: JAM in Multi-X 88. Eriksson, Johan: A Structural Operational Semantics for PLEX 89. Eriksson, Susanne; Hedman, Ingela; Mwepu, Gisele: Implementation of a Database for a

Hard Real-Time Control System 90. Fredriksson, Johan; Andersson, Christian: Design and Implementation of a Symmetric

Mulitprocessor Operating system 91. Halvarsson, Daniel; Lennartsson, Per-Arne: Porting a robot control system from VxWorks

to Windows CE .NET 92. Hindersson, Per-Erik; Kulenovic, Denis: Visual adaptive web-shopping using

personalization techniques 93. Lindell, Bo: Analysis of reentrancy and problems of data interference in the parallel

execution of a multiprocessor AXE-APZ system 94. Malmquist, Andreas; Käll, Erik: USB Interface for Embedded systems 95. Mandery, Jakob: Creating a Switch Order Solution using the .NET Platform and Data

Replication 96. Melin, John: 3 D - skanner optimerad för fötter 97. Ni, Peng Peng: Bandwidth estimation for adaptive multimedia over wireless networks 98. Nilsson, Peter: IP Interconnecion 99. Nordin, Johnny; Persson, Marie: Industrial Ethernet - EtherNet/IP 100. Orre, Tobias: Occlusion Culling 101. Ottemalm, Ola: Intelligent Agents and the SIMA Prototype 102. Persson, Daniel: Dimensional Analysis and inference for gPROMS 103. Riutta, Toni; Hänninen, Kaj: Optimal Design 104. Savic, Natasa: SoftPLC Integration with Robot Controller 105. Seborn, Jonas: Evaluation of Java Message Service 106. Sivert, Michael: Managing Communication Resources

8 Publications 2004

8.1 Research publications

8.1.1 Books 1. Peter Funk, Pedro A González Calero (eds.): Further Advances in Case-Based

Reasoning, Springer Verlag, LNAI 3155 2004 ISBN: 3-540-22882-9


28

8.1.2 Journals 2. Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau: 6th ICSE Workshop on

Component-Based Software Engineering: automated reasoning and prediction, ACM SIGSOFT Software Engineering Notes, 29(3):1-7, ACM, May 2004.

3. Damir Isovic, Gerhard Fohler, Liesbeth Steffens: Real-time issues of MPEG-2 playout in resource constrained systems, International Journal on Embedded Systems, vol. 1(2), ISSN 1740-4460, Cambridge International Science Publishing, June 2004.

4. Erik Olsson, Peter Funk, Ning Xiong. Fault Diagnosis in Industry Using Case-Based Reasoning, Journal of Intelligent & Fuzzy Systems, vol. Vol. 15, ISSN 1064-1246, IOS Press, December 2004.

5. Anders Möller: A Simulation Technology for CAN-based Systems, CAN Newsletter, (4), CAN in Automation, December 2004.

6. Annita Persson-Dahlqvist, Ivica Crnkovic, Magnus Larsson: Managing Complex Systems - Challanges for PDM and SCM, Projects & Profits, IV-7(Rs 60):36-42, ICFAI Press, Panjagutta, Indien, July 2004.

7. Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström: Aspects and Components in Real-Time System Development: Towards Reconfigurable and Reusable Software, JOURNAL OF EMBEDDED COMPUTING, 1(1), Cambridge International Science Publishing, February 2004.

8. Xavier Vera, Nerina Bermudo, Josep Llosa, Antonio Gonzalez: A Fast and Accurate Framework to Analyze and Optimize Cache Memory Behavior, ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 26(2) , ACM, March 2004.

9. Jingling Xue, Xavier Vera: Efficient and Accurate Analytical Modeling of Whole-Program Data Cache Behavior, IEEE Transactions on Computers, vol. 53(5), IEEE, May 2004.

8.1.3 Thesis 10. Damir Isovic: Flexible Scheduling for Media Processing in Resource Constrained Real-

Time Systems, Phd Thesis, Mälardalen University Press, November 2004. 11. Magnus Larsson: Predicting Quality Attributes in Component-based Software Systems,

Phd Thesis, Mälardalen University Press, March 2004. 12. Xavier Vera: Cache and Compiler Interaction (how to analyze, optimize and time cache

behavior), Phd Thesis, Mälarden University Press, January 2004. 13. Markus Bohlin: Design and Implementation of a Graph-Based Constraint Model for

Local Search, Licentiate Thesis, Mälardalen University, April 2004. 14. Jan Carlson: An Intuitive and Resource-Efficient Event Detection Algebra, Licentiate

Thesis, Mälardalen University Press, June 2004. 15. Mohammed El Shobaki: On-Chip Monitoring for Non-Intrusive Hardware/Software

Observability, Licentiate Thesis, Department of Information Technology, Uppsala University, Sweden, September 2004.

16. Joakim Fröberg: Engineering of Vehicle Electronic Systems: Requirements Reflected in Architecture, Licentiate Thesis, Mälardalen University Press, April 2004.

17. Rikard Lindell: Towards new Interaction - A Content Centric Data Surface Approach, Licentiate Thesis, Mälardalen University Press, December 2004.


29

18. Goran Mustapic: Architecting Software for complex embedded systems - Quality Attribute Based Approach to Openness, Licentiate Thesis, Mälardalen University Press, December 2004.

19. Markus Nilsson: A Case-Based Approach for Classification of Physiological Time-Series, Licentiate Thesis, Mälardalen University Press, May 2004.

20. Mikael Sollenborn: Clustering and Case-Based Reasoning for User Stereotypes, Licentiate Thesis, Mälardalen University Press, October 2004.

21. Daniel Sundmark: Deterministic Replay Debugging of Embedded Real-Time Systems using Standard Components, Licentiate Thesis, Mälardalen University Press, March 2004.

8.1.4 Articles in collection 22. Goran Mustapic, Johan Andersson, Christer Norström, Anders Wall: A Dependable

Open Platform for Industrial Robotics - A Case Study, in Architecting Dependable Systems II Editors: Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky, LNCS 3069, Springer Verlag , 2004.

8.1.5 Conferences and workshops 23. Johan Andersson, Anders Wall, Christer Norström: Decreasing Maintenance Costs by

Introducing Formal Analysis of Real-Time Behavior in Industrial Settings, Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04), Paphos, Cyprus, October 2004.

24. Johan Andersson, Anders Wall, Christer Norström: Validating Temporal Behavior Models of Complex Real-Time Systems, Proceedings of the Fourth Conference on Software Engineering Research and Practice in Sweden (SERPS'04), Linköping, Sweden, September 2004.

25. Marcus Bengtsson, Erik Olsson, Peter Funk: Technical Design of Condition Based Maintenance Systems - A Case Study using Sound Analysis and Case-Based Reasoning, MARCON (Maintenance and Reliability Conference), pages 12, Knoxville, TN, USA, May 2004.

26. Jan Carlson, Björn Lisper: An Event Detection Algebra for Reactive Systems, Fourth ACM International Conference on Embedded Software (EMSOFT'04), pages 147-154, Pisa, Italy, ACM, New York, September 2004.

27. Ivica Crnkovic, Magnus Larsson: Classification of quality attributes for predictability in component-based systems, DSN 2004 Workshop on Architecting Dependable Systems, Florence, Italy, IEEE, June 2004.

28. Ivica Crnkovic: Component-based approach for Embedded Systems, Ninth International Workshop on Component-Oriented Programming, Oslo, June 2004.

29. Baran Çürüklü, Anders Lansner: A Model of the Summation Pools within the Layer 4 (Area 17), Proceedings of the Computational Neuroscience Meeting, Baltimore, USA, Elsevier, July 2004.

30. Baran Çürüklü: Early Stages of Vision Might Explain Data to Information Transformation, Proceedings of the Turkish Symposium on Artificial Intelligence and Neural Networks, Izmir, Turkey, June 2004.

31. Radu Dobrin, Gerhard Fohler: Reducing the Number of Preemptions in Fixed Priority Scheduling, 16th Euromicro Conference on Real-time Systems (ECRTS 04), Catania, Sicily, Italy, July 2004.


30

32. Gordana Dodig-Crnkovic, Sandra Irobi Ijedma: Model Validation, Evolutionary Systems and Semantics of Information, Model-Based Reasoning In Science And Engineering Abduction, Visualization, And Simulation, Pavia, Italy, December 16-18, 2004, (editor(s):L Magnani), December 2004.

33. Gordana Dodig-Crnkovic: On the Importance of Teaching Professional Ethics to Computer Science Students, Computing and Philosophy Conference, E-CAP 2004, Pavia, Italy, (editor(s):L Magnani), November 2004.

34. Gordana Dodig-Crnkovic: Philosophy of Information, a New Renaissance and the Discreet Charm of the Computational Paradigm, Computing and Philosophy Conference, E-CAP 2004, (editor(s):L Magnani), November 2004.

35. Johan Erikson, Björn Lisper: A Formal Semantics for PLEX, 2nd APPSEM II Workshop, APPSEM'04, Tallinn, Estonia, 14-16 April 2004, April 2004.

36. Johan Fredriksson, Mikael Åkerholm, Kristian Sandström: Calculating Resource Trade-offs when Mapping Component Services to Real-Time Tasks, Fourth Conference on Software Engineering Research and Practice in Sweden Linköping, Sweden, October 2004.

37. Peter Funk, Erik Olsson: Diagnosis of Industrial Equipment using Case-Based Reasoning and Sound Comparison, AILS2004, Lund, Sweden, April 2004.

38. Peter Funk: Artificial Intelligence Research for Medicin and Industrial Applications, AILS2004, Lund, April 2004.

39. Hans Hansson, Mikael Åkerholm, Ivica Crnkovic, Martin Törngren: SaveCCM – a component model for safety-critical real-time systems, Euromicro Conference, Special Session on Component Models for Dependable Systems, Rennes, France, IEEE, September 2004.

40. Joel G Huselius, Henrik Thane: Constant Execution Time Recording for Replay of Sporadic Real-Time Systems, Proceedings of the 2:nd Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES), Washington D.C., USA, September 2004.

41. Ijeoma Sandra Irobi, Johan Andersson, Anders Wall: Correctness criteria for models’ validation – A philosophical perspective, International Multiconferences in Computer Science & Computer Engineering, June 2004.

42. Damir Isovic, Gerhard Fohler: Quality aware MPEG-2 stream adaptation in resource constrained systems, 16th Euromicro Conference on Real-time Systems (ECRTS 04), Catania, Sicily, Italy, July 2004.

43. Andreas Johnsson, Bob Melander, Mats Björkman: DietTopp: A First Implementation and Evaluation of a Simplified Bandwidth Measurement Method, Second Swedish National Computer Networking Workshop, pages 5, Karlstad, November 2004.

44. Andreas Johnsson, Mats Björkman, Bob Melander: A Study of Dispersion-based Measurement Methods in IEEE 802.11 Ad-hoc Networks, the International Conference on Communication in Computing, Las Vegas, June 2004.

45. Andreas Johnsson, Bob Melander, Mats Björkman: On the Analysis of Packet-Train Probing Schemes, the International Conference on Communication in Computing, Las Vegas, June 2004.

46. Rikard Land, Ivica Crnkovic: Existing Approaches to Software Integration - and a Challenge for the Future, Fourth Conference on Software Engineering Research and Practice in Sweden, Linköping, Sweden, October 2004.


31

47. Rikard Land: Understanding Evolution of Information Systems by Applying the General Definition of Information, 26th International Conference on Information Technology Interfaces (ITI), Cavtat, Croatia, ISBN 953-96769-9-1,, June 2004.

48. Stig Larsson, Ivica Crnkovic, Fredrik Ekdahl: On the Expected Synergies between Component-Based Software Engineering and Best Practices in Product Integration, Euromicro Conference, Rennes, France, IEEE, August 2004.

49. Stig Larsson, Fredrik Ekdahl: Selecting CMMI Appraisal Classes Based on Maturity and Openness, PROFES 2004 - 5th International Conference on Product Focused Software Process Improvement, (editor(s):Frank Bromarius, Hajimu Iida), Kansai Science City, Japan, Springer-Verlag Berlin Heidelberg New York, April 2004.

50. Magnus Larsson, Ivica Crnkovic: Possible Implications of Design Decisions Based on Predictions, 26th International Conference on Information technology, Dubrovnik, Croatia, IEEE, April 2004.

51. Andreas Löfgren, Filip Traugott, Kim Andersson, Lennart Lindh: Successful Prototyping of a Real-Time Hardware Based Terrain Navigation Correlator Algorithm, Euromicro symposium on Digital System Design, Belek, Turkey, IEEE, September 2004.

52. Frank Lüders: Adopting a Software Component Model in Real-Time Systems Development, Proceedings of the 28th Annual NASA/IEEE Software Engineering Workshop, IEEE Computer Society Press, February 2004.

53. H. Lönn, Tripti Saxena, Mikael Nolin, Martin Törngren: FAR EAST: Modeling an Automotive Software Architecture Using the EAST ADL, ICSE 2004 workshop on Software Engineering for Automotive Systems (SEAS), Edinburgh, IEE, May 2004.

54. Goran Mustapic, Anders Wall, Christer Norström, Ivica Crnkovic, Kristian Sandström, Joakim Fröberg, Johan Andersson: Real World Influences on Software Architecture - Interviews with Industrial Experts, IEEE Working Conferance on Software Architectures, Oslo, Norway, (editor(s):IEEE), Oslo, IEEE, June 2004.

55. Jukka Mäki-Turja, Mikael Nolin: Tighter Response-Times for Tasks with Offsets, Real-time and Embedded Computing Systems and Applications Conference (RTCSA), Göteborg, Sweden, Springer-Verlag, August 2004.

56. Jukka Mäki-Turja, Mikael Nolin: Efficient Response-Time Analysis for Tasks with Offsets, 10th IEEE Real-Time Technology and Applications Symposium (RTAS04), Toronto, Canada, IEEE Computer Society Press, May 2004.

57. Anders Möller, Mikael Åkerholm, Johan Fredriksson, Mikael Nolin: Evaluation of Component Technologies with Respect to Industrial Requirements, Euromicro Conference, Component-Based Software Engineering Track, Rennes, France, August 2004.

58. Anders Möller, Joakim Fröberg, Mikael Nolin: Industrial Requirements on Component Technologies for Embedded Systems, International Symposium on Component-based Software Engineering (CBSE7), Edinburgh, Scotland, Springer Verlag, May 2004.

59. Jonas Neander, Mikael Nolin, Mats Björkman: Using Existing Infrastructure as Proxy Support for Sensor Networks, 16th EUROMICRO Conference on Real-Time Systems (ECRTS 04), WiP, Catania, Italy, June 2004.

60. Markus Nilsson, Peter Funk: A Case-Based Classification of Respiratory Sinus Arrhythmia, 7th European Conference on Case-Based Reasoning, (editor(s):Peter Funk, Pedro A. Gonzalez Calero), pages 673-685, Madrid, Springer, August 2004.


32

61. Markus Nilsson, Mikael Sollenborn: Advancements and Trends in Medical Case-Based Reasoning: An Overview of Systems and System Development, Proceedings of the 17th International FLAIRS Conference, Special Track on Case-Based Reasoning, pages 178-183, Miami, USA, AAAI, May 2004.

62. Thomas Nolte, Hans Hansson, Lucia Lo Bello: Implementing Next Generation Automotive Communications, Embedded Real-Time Systems Implementation Workshop (ERTSI 2004) in conjunction with the 25th IEEE International Real-Time Systems Symposium (RTSS 2004), Lisbon, Portugal, December 2004.

63. Thomas Nolte, Mikael Nolin, Hans Hansson: Hierarchical Scheduling of CAN using Server-Based Techniques, In 3rd International Workshop on Real-Time Networks (RTN'04) in conjunction with the 16th Euromicro International Conference on Real-Time Systems (ECRTS 2004), Catania, Italy, June 2004.

64. Thomas Nolte, Mikael Nolin, Hans Hansson: Server-Based Real-Time Communication on CAN, In Proceedings of 11th IFAC Symposium on Information Control Problems in Manufacturing, Salvador, Brasil, April 2004.

65. Dag Nyström, Mikael Nolin, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson: Pessimistic Concurrency-Control and Versioning to Support Database Pointers in Real-Time Databases, The 16th Euromicro Conference on Real-Time Systems, pages 261-270, Catania, Sicily, Italy, IEEE Computer Society, June 2004.

66. Dag Nyström, Aleksandra Tesanovic, Mikael Nolin, Christer Norström, Jörgen Hansson: COMET: A Component-Based Real-Time Database for Automotive Systems, Workshop on Software Engineering for Automotive Systems., pages 1-8, Edinburgh, Scotland,, The IEE, May 2004.

67. Erik Olsson, Peter Funk, Marcus Bengtsson: Fault Diagnosis of Industrial Robots using Acoustic Signals and Case-Based Reasoning, 7th European Conference on Case-Based Reasoning, (editor(s):Peter Funk, Pedro Gonzales), pages 686-701, Madrid, Springer, August 2004.

68. Annita Persson-Dahlqvist, Ivica Crnkovic, Ulf Asklund: Quality Improvements by Integrating Development Processes, 11th Asia-Pacific Software Engineering Conference, Busan, Korea, IEEE, November 2004.

69. Larisa Rizvanovic, Gerhard Fohler: The MATRIX: A QoS Framework for Streaming in Heterogeneous Systems, RTMM - International Workshop on Real-Time for Multimedia, Catania, Sicily, Italy, June 29, 2004, June 2004.

70. Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Static Timing Analysis of Real-Time Operating System Code, 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), Cyprus, October 2004.

71. Kristian Sandström, Johan Fredriksson, Mikael Åkerholm: Introducing a Component Technology for Safety Critical Embedded Real-Time Systems, International Symposium on Component-based Software Engineering (CBSE7), Edinburgh, Scotland, Springer Verlag, May 2004.

72. Mikael Sollenborn, Markus Nilsson: Building a Case Base for Stress Diagnosis: An Analysis of Classified Respiratory Sinus Arrhythmia Sequences, Proceedings of the ECCBR 2004 Workshops, (editor(s):Pablo Gervas, Kalyan Moy Gupta), pages 55-63, Madrid, Spain, Springer, August 2004.

73. Johan Stärner, Lars Asplund: Measuring the Cache Interference Cost in Preemptive Real-Time Systems, ACM SIGPLAN/SIGBED Conference on Languages, Compilers,


33

and Tools for Embedded Systems (LCTES'04), pages 146-154, Washington, DC, USA, ACM Press, June 2004.

74. Daniel Sundmark, Anders Möller, Mikael Nolin: Monitored Software Components - A Novel Software Engineering Approach -, The 11th Asia-Pacific Software Engineering Conference, Workshop on Software Architectures and Component Technologies, pages 8, Pusan, Korea, IEEE, November 2004.

75. Peter van der Stok, Jan Jelle Bloomgaardt, Helmut Burklin, Gabriele Cecchetti, Jean-Dominique Decotignie, Hermann de Meer, Gerhard Fohler, Johan Lukkien, Gerardo Rubino: The FABRIC project, First European Workshop on Software Architecture (EWSA 2004), with ICSE 2004, St Andrews, Scotland, May 2004.

76. Manel Velasco, Pau Marti, Giorgio Buttazzo, Gerhard Fohler: Managing Quality-of-Control Performance Under Overload Conditions, 16th Euromicro Conference on Real-time Systems (ECRTS 04), Catania, Sicily, Italy, July 2004.

77. Weirong Wang, Al Mok, Gerhard Fohler: Pre-Scheduling on The Domain of Integers, IEEE Real-Time Systems Symposium, Lisbon, Portugal, December 2004.

78. Weirong Wang, Al Mok, Gerhard Fohler: Generalized Pre-Scheduler, 16th Euromicro Conference on Real-time Systems (ECRTS 04), Catania, Sicily, Italy, July 2004.

79. Mikael Åkerholm, Johan Fredriksson, Kristian Sandström, Ivica Crnkovic: Quality Attribute Support in a Component Technology for Vehicular Software, Fourth Conference on Software Engineering Research and Practice in Sweden, Linköping, Sweden, October 2004.

8.1.6 MRTC reports 80. Waldemar Kocjan, Per Kreuger, Björn Lisper: Symmetric Cardinality Constraint with

Costs, MRTC Report 167, ISSN 1404-3041 ISRN MDH-MRTC-167/2005-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, December 2004

81. Sang Lyul Min, Hans Hansson (eds.): ESSES Extended Abstracts, MRTC Report 119, ISSN 1404-3041 ISRN MDH-MRTC-119/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March 2004

82. Ylva Boivie, Hans Hansson: MRTC Annual Report 2003, MRTC Report 116, ISSN 1404-3041 ISRN MDH-MRTC-116/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February 2004

83. Jan Carlson, Björn Lisper: An event detection algebra for reactive systems, MRTC Report 117, ISSN 1404-3041 ISRN MDH-MRTC-117/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March 2004

84. Jan Carlson, Björn Lisper: An improved algebra for restricted event detection, MRTC Report 159, ISSN 1404-3041 ISRN MDH-MRTC-159/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February 2004

85. Mohammed El Shobaki, Jeroen Heimanns: MAMon - A Multipurpose Application Monitor, MRTC Report 121, ISSN 1404-3041 ISRN MDH-MRTC-121/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, September 2004

86. Mohammed El Shobaki: On-Chip Monitoring for Non-Intrusive Hardware/Software Observability, MRTC Report 120, ISSN 1404-3041 ISRN MDH-MRTC-120/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, September 2004

87. Ijeoma Sandra Irobi, Johan Andersson, Anders Wall: Correctness criteria for models’ validation – A philosophical perspective, MRTC Report 163, ISSN 1404-3041 ISRN


34

MDH-MRTC-163/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May 2004

88. Andreas Johnsson, Bob Melander, Mats Björkman: Modeling of Packet Interactions in Dispersion-Based Network Probing Schemes, MRTC Report 157, ISSN 1404-3041 ISRN MDH-MRTC-157/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, April 2004

89. Goran Mustapic, Anders Wall, Christer Norström, Ivica Crnkovic, Kristian Sandström, Joakim Fröberg, Johan Andersson: Influences between Software Architecture and its Environment in Industrial Systems – a Case Study, MRTC Report 164, ISSN 1404-3041 ISRN MDH-MRTC-164/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February 2004

90. Jukka Mäki-Turja, Mikael Nolin: Analysing Response-Times for Tasks with Offsets, Tight Resluts at Fast Speed, MRTC Report 161, ISSN 1404-3041 ISRN MDH-MRTC-161/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May 2004

91. Jukka Mäki-Turja, Mikael Nolin: Speeding Up the Response-Time Analysis of Tasks with Offsets, MRTC Report 154, ISSN 1404-3041 ISRN MDH-MRTC-154/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February 2004

92. Anders Möller, Mikael Åkerholm, Johan Fredriksson, Mikael Nolin: An Industrial Evaluation of Component Technologies for Embedded-Systems, MRTC Report 155, ISSN 1404-3041 ISRN MDH-MRTC-155/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February 2004

93. Anders Möller, Joakim Fröberg, Mikael Nolin: Requirements on Component Technologies for Heavy Vehicles, MRTC Report 150, ISSN 1404-3041 ISRN MDH-MRTC-150/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, January 2004

94. Jonas Neander, Mikael Nolin, Mats Björkman: An Asymmetric Proxy Backbone Architecture for Sensor Nodes, MRTC Report 158, ISSN 1404-3041 ISRN MDH-MRTC-158/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, April 2004

95. Daniel Sundmark, Anders Möller, Mikael Nolin: Predictable Assemblies using Monitored Software Components, MRTC Report 160, ISSN 1404-3041 ISRN MDH-MRTC-160/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May 2004

96. Daniel Sundmark: Replay Debugging of Embedded Real-Time Systems: A State of the Art Report, MRTC Report 156, ISSN 1404-3041 ISRN MDH-MRTC-156/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February 2004

97. Mikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin: SAVEComp - a Dependable Component Technology for Embedded Systems Software, MRTC Report 165, ISSN 1404-3041 ISRN MDH-MRTC-165/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, December 2004

98. Mikael Åkerholm, Kristian Sandström, Johan Fredriksson: Interference Control for Integration of Vehicular Software Components, MRTC Report 162, ISSN 1404-3041 ISRN MDH-MRTC-162/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May 2004


35

8.1.7 Technical reports 99. Johan Andersson: Modeling and Analyzing Runtime Properties of Complex Embedded

Systems, Technical Report, November 2004. 100. Johan Andersson, Anders Wall, Christer Norström: A Framework for Analysis of

Timing and Resource Utilization Targeting Industrial Real-Time Systems, Technical Report, August 2004.

101. Johan Andersson, Anders Wall, Christer Norström: Validating Timing Models of Industrial Real-Time Systems, Technical Report, June 2004.

102. Peter Funk: Intelligent Personalisation of Services and Products, Technical Report, The Swedish Knowledge Foundation, January 2004.

103. Joel G Huselius: Results from the Validation of ECETES, Technical Report, Department of Computer Science and Engineering at Mälardalen University, January 2004.

104. Andreas Johnsson: Licentiate thesis proposal: Investigation of dispersion-based measurements in wired and wireless networks, Technical Report, March 2004.

105. Jukka Mäki-Turja, Kaj Hänninen: Component technology in Resource Constrained Embedded Real-Time Systems, Technical Report, March 2004.

106. Mikael Åkerholm, Johan Fredriksson: A Sample of Component Technologies for Embedded Systems, Technical Report, November 2004.

8.3 MSc Theses The following MSc-theses have been presented at IDt in 2004: 107. Alfredsson, Fredrik; Wall, Christian: Process Graphics Usability Analysis 108. Allander, Johan; Andersson, Stefan: Reliable Multcast 109. Altblom, Thomas; Stabo, Martin: Design and Implementation of a Component

Technology for Embedded Real-Time Systems 110. Andersson, Daniel; Jonsson, Andreas: Cognitive Profiling for Efficient Interacitve

Learning 111. Andersson, Stefan; Helsing, Tommy: YODA - Your Object Oriented Dynamic

Application Environment 112. Borgendal, David; Paunovic, Zoran: A Dynamic Voltage Scaling Architeture and

Methodology for Field Programmable Gate Arrays 113. Byhlin, Susanna: Evaluation of Static Time Analysis for Volcano Communications

Technologies AB 114. Carone, Felipe; Oliviera, Raphael: Available Bandwidth Measurement on Wireless

Networks 115. Danielsson, Anneli; Berglind, Lars: Projekthantering - Guider och modeller 116. Ericson, Per; Hanna, Ziad: Historical Data Access for Industrial Systems- A Prototype

Implementation for Evaluating the HDAIS Standard 117. Gustafsson, Richard: ETNA - Eye Tracking Non-intrusive Adaptions 118. Hedelin, Mikael; Johansson, Andreas: Application for controlling and optimizing a

floating storage area for industrial robots 119. Henriksson, Anders; Slättman, Johan: Real-Time Operating System for a Video on

Demand Server 120. Henriksson, Johan: Dependency analysis of preemptive real-time systems


36

121. Horniak, Viginia: Privacy of Communication - Ethics and technology 122. Irobi Ijeoma, Sandra: Models validation for Complex Real-Time Systems 123. Johansson, Lars; Skoglund, Tobias: Integration of an ultra-fast real-time accelerator in

the real-time operating system �C/OS-II 124. Johansson, Mikael; Bergquist, Joakim: RealWebCars 125. Johnsson, Anders; Nilsson, Roy: Development of an Analysis tool for execution traces 126. Källström, Patrik; Onkamo, Jarmo; Sandfur, Christian: Embedded systems: IP-telephone 127. Karlsson, Stefan; Kling, Daniel: Performance and reliabilityg of component based

systems 128. Kujanpää, Peter: Measuring Linux KernelPerformance 129. Larsson, Björn Åke: Implementing an industrial real-time data acquisition system for

testing resistance heating alloys 130. Nellore, Balaji Abhinav: Fast Intersection Tests for Computer Graphics Applications 131. Olsson, Erik: Diagnosis of Idustrial Robots Using Case Based Reasoning 132. Renmark, Patrik; Sträng, Patrik: Temporal Aspect of Real-Time MPEG Decoding 133. Sandell, Daniel: Evaluating Static Worst-Case Execution-Time Analysis for a

Commercial Real-Time Operating System 134. Scherman, Tobias; Webhi, Patrick: Analys of Toll Selection in Virutal environments

using HCI evaluation methods 135. Sjöqvist, Åza; Kalaitzidou, Mirofora: Automatisering av robottester 136. Strömblad, Henrik; Stålberg, Magnus: Using Managed DirectX for Visualizing Process

Data in 3D 137. Zimmerman, Erik; Lund, Jesper: Implementation av shoppinghjälp på PDA


1

A full list of events organised by the programme (conferences, work shops, summer schools, industry meetings etc.) 1999............................................................................................................................................ 1

Seminars ................................................................................................................................. 1 Distinguished Lectures........................................................................................................... 2

2000............................................................................................................................................ 3 Seminars ................................................................................................................................. 3 Distinguished Lectures........................................................................................................... 4 Industrial Day......................................................................................................................... 4

2001............................................................................................................................................ 4 Seminars ................................................................................................................................. 4 Distinguished Lectures........................................................................................................... 5 Industrial Day......................................................................................................................... 5

2002............................................................................................................................................ 6 Seminars ................................................................................................................................. 6 Workshops, Conferences........................................................................................................ 7 Industrial Day....................................................................................................................... 10

2003.......................................................................................................................................... 10 Seminars ............................................................................................................................... 10 Workshops, Summer school, Conferences........................................................................... 12 Industrial Day....................................................................................................................... 13

2004.......................................................................................................................................... 14 Seminars ............................................................................................................................... 14 Seminary day........................................................................................................................ 15 Industrial Day....................................................................................................................... 16

1999

Seminars 99-01-28 Display-simulator 3D Schedule Simulation, Hakan Hortlund, Anders Cognell Exam Job proposal 99-02-04 Configurability for Schedule Design Analysis of Datex Ohmeda Systems Farshad Khoshpasand, Stefan Ronning, Anna Bylund Exam Job proposal 99-02-11 Real-Time Music Application, Anders Ingelsson, Johan Renbäck, Mikael

Andersson, Exam Job proposal 99-03-17 Intent-based Specification Christer Eriksson, Anders Wall, CUS Talk 99-04-07 Pre-Schedule Analysis, Björn Allvin, CUS Talk 99-04-28 Scheduling Control Systems, Kristian Sandström, CUS Talk 99-05-12 Sporadic Tasks in Slot-Shifting, Damir Isovic, CUS Talk 99-05-19 Testability Henrik Thane, CUS Talk 99-05-26 EDF and Slot-Shifting, Björn Lindberg, CUS Talk 99-06-16 Software Architecture, Anders Wall, CUS Talk 99-05-25 Toward Component-based Software Development in Computational Logic Kung-Kiu Lau, University of Manchester, Andreas Hamfelt, Uppsala Univ. CUS Talk 99-05-31 An introduction to XML Joguel Nicolas, CSL Talk


2

99-06-07 Different aspects of component based development, Ivica Crnkovic and Magnus Larsson, CSL Talk

99-09-16 An Integer Linear Programming Formulation of Response Time Calculation Prof. Bjorn Lisper, CUS Talk 99-09-16 Graphical Design Tools for Real-Time Systems, Linus Helmestam, Masters

Thesis 99-09-16 Datakommunikation på Elnät, Magnus Ehrlin, Bachelor Thesis 99-09-21 Scheduling and Timing Analysis for Safety Critical Systems, Iain Bate,

University of York, UK CUS Talk 99-09-30 VHDL implementation of a Dynamic Memory Manager, Mikael Millberg

(KTH) and Prof. Adam Postula, CAL Talk 99-10-01 Time model for RTOS co-processors Johan Furunäs CAL Talk 99-10-08 Towards Predictable Performance in Embedded Multiprocessor Systems Johan Stärner CAL Talk 99-10-15 Implementing SW functionality into VHDL and FPGA, Stefan Sjöholm, CAL

Talk 99-10-20 Computation, learning and games - some current questions, Richard Bonner MRTC Seminar 99-11-17 Quantum computing and Quantum Finite Automata Marats Golovkins &

Maris Valdats, Inst. of Maths and Comp. Sci., Riga MRTC Seminar 99-11-18 Guided Synthesis of Control Programs Using UPPAAL, Paul Pettersson,

University of Aalborg MRTC Seminar 99-11-19 Constraints Derivation in Early System Design, Yufeng Zhao, Erik Stoy &

Jonas Plantin (Ericsson Radio System AB), CAL Talk 99-11-24 Towards Systematic Testing of Distributed Real-Time Systems, Henrik Thane SDL Talk 99-11-26 Timed Automata as Task Models for Event-Driven Systems, Anders Wall SDL Talk 99-12-10 Scalable Architecture for Real-Time Applications And Use of Bus-monitoring Tommy Klevin, CAL Talk 99-12-14 IT-Architecture challenges for CBSE, Bengt Asker, CSL Talk 99-12-14 SoftPLC, Tobis Carlsson, Thesis 99-12-14 Comparison of register allocation strategies for the PLEX programming

language, Peter Karlsson and Stefan Olsson, Thesis 99-12-14 Design av databas för IP-nummerhantering, Kersti Carlsson, Thesis 99-12-14 Undersökning av VR-verktyg för Internettjänster, Örjan Svensson, Thesis

Presentation

Distinguished Lectures Giorgio Buttazzo, Scuola SuperioreS.Anna of Pisa, Italy , Predictability vs. Efficiency: Need for Novel Approaches Peter Puschner, Vienna University of Technology , Hardware Characteristics for Worst-Case Execution-Time Analysis Krithi Ramamritham , University of Massachusetts, Amherst & Indian Institute of Technology, Bombay, Can Real-Time Systems be built from Off-the-shelf Components?


3

2000

Seminars

Internal Speakers 25th January, Rätt sak vid rätt tid är viktigare än du tror - om realtidsforskningens betydelse för den tekniska utvecklingen", Hans Hansson, MdH 1st March, " Data Fields and Collection-oriented Programming", Björn Lisper, MdH 29th March, "Projekt Q+ - med och för kvinnliga studenter i datavetenskap", Christina , Björkman, MdH 12th April, "Correctness of Unfold/Fold-transformations for Nondeterministic Programs", Björn Lisper, MdH 26th April, “Introduction to Neuroscience", Baran Çürüklü, MdH 10th May, "A Genetic Algorithm Walkthrough" Roger Jonsson, MdH 18th May, "SARA developments", Joris Baijens, MdH 24th May, "Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation", Jan Gustafsson, MdH 31st May, "System on Chip design: SOTA presentations & kick-off for Socrates project", Joakim Adomat, MdH 13th June, "TCP/IP Stack, Construction and Analysis", Magnus Forsstrom, MdH 13th June, "Virtual Communication Bus with Hardware and Software Tasks in Real-Time System", Peter Nygren, MdH 22nd June, "Benchmarking of a Real-Time System that utilises a Booster", Johan Furunäs, MdH 15th September, "Licentiate Presentation: A Formal Approach to the Analysis of Software Architechtures for Real Time Systems", Anders Wall, MdH 18th October, "Tillämpad signal- och reglerteknik: forskning och grundutbildning I snittet realtidssystem - elektronik - tillämpad matematik", Lennart Harnefors, MdH 8th November, “A History of Pi”, Ivica Crnkovic 11th November, “A Fast and Accurate Approach to Analyze Cache Memory Behaviour”, Nerina Bermudo, Xavier Vera 22nd November, "Embedded Artificial Intelligence", Peter Funk, MdH 1st December, "Licentiate Presentation: Applying Configuration Management Techniques to Component-based Systems", Magnus Larsson, MdH 3th December, "Bioinformatik", Kimmo Eriksson, MDH

External Speakers 16th February, "Analyzing Exception Flow in Java Programs", Martin Robilliard, Department of Computer Science University of British Columbia. 16th February, "Non-traditional ways for inter-task communication", Philippas Tsigas and Håkan Sundell, Chalmers University of Technology 13th March, "WCET Analysis for Instruction Level Parallel Processors", Sungsoo Lim, Seoul National University, Korea 20th March, "CAN/LIN Bus", Ken Tindell, Jönkoping University & NRTG,UK 23rd March, "Automating Hardware to Software Migration for Real-Time Embedded Systems", Alex Dean, Carnegie Mellon University 10th May, "The Concept of Real-Time Database Systems and Their Research Challenges", Jörgen Hansson, Linköping University


4

25th May, "How embedded applications using an RTOS can stay within on-chip memory limits", Dr Rob Davies, NRTG Ltd. UK 25th May, "Real-Time Ethernet: Challenges and Prospects", Eduardo Tovar, PolyTech Inst. of Porto 30th May, "Modelchecking of infinite state systems", Parosh Abdulla, Uppsala University and Prover AB 14th September, “Computational Models of the Brain: from biology to applications”, Anders Lansner, KTH. 7th December, "Challenges in the Verification of Electronic Control Units", Prof. Werner Damm, University Oldenburg, Germany

Distinguished Lectures Chia Shen, MERL-- Mitsubishi Electric Research Laboratory, Boston, MA “E-Factory: Dream or Reality, and Where is the Missing Link?” Michael Gonzalez-Harbour, Universitdad de Cantabria, Santander, Spain “MARTE: Implemention of the POSIX minimum real-time system OS profile for embedded applications”

Industrial Day In 2000 the focus was on Real-Time Systems, with an invited presentation by Prof. Jack Stankovic from Univ. of Virginia: “Application Specific Operating Systems for Embedded Systems: A Component Based Solution“. Additional items on the agenda:

• Welcome and brief presentation of MRTC (Hans Hansson) • Poster Exhibit • Real-life Applications of Computer Science: Analysis of RT Systems and Industrial

Software Engineering (Lisper/Crnkovic) • Designing Safety Critical Embedded Systems (Hansson/Norström/Thane) • Scalable Multiprocessor Platform for Industrial Control Applications (Lennart Lindh) • Panel on "Real-Time Research for Industry" (Panellists: Bernt Ericsson, Hans Skoog,

Peter Lidén, Göran Lundin, Christer Ramebäck, Jack Stankovic, Neeraj Suri, Jan Torin; Moderator: Bengt Asker)

2001

Seminars

Internal Speakers 1. Lic Seminar "Handling Sporadic Tasks in Real-time Systems - Combined Offline and

Online Approach", Damir Isovic, MdH 2. “Collision Detection Methods in Virtual Environments”, Thomas Larsson, MdH 3. “Message Passing vs. Shared Memory Programming”, Leif Enblom, MdH 4. “The IEEE Computer Society/ACM Computing Curricula 2001”, Gordana Dodig-

Crnkovic, MdH 5. “Experiences with Component-Based Software Development in Industrial Control”,

Frank Lüders, ABB/MdH 6. ”Forskning och nytänkande i ingenjörsprogrammet vid IDP”, Mette Holmgren, MdH 7. “SOTA - Cache Memories in Real-Time Systems”, Filip Sebek, MdH 8. ”Små och Enkla Operativsystem”, Henrik Hoffström, MdH


5

9. “Software Engineering Course Challenges for Computer Science Students”, Ivica Crnkovic, MdH

10. “Adding Flexibility and Real-Time Performance by Adapting a Single Processor Industrial Application to a Multiprocessor Platform”, Leif Enblom, MdH

11. "Interprocess Communication Utilising Special Purpose Hardware", Johan Furunäs, MdH

12. “Towards a Static Cache Analysis for Whole Programs”, Xavier Vera, MdH 13. “MAMon - Multiprocess Application Monitor”, Jeroen Heijmans, Eindhoven 14. "Design ASIC/FPGA with Top Down Design Flow and VHDL", Stefan Sjöholm

External Speakers 1. "Component-based Software engineering - Selected Topics", Kurt Wallnau, Judth

Staford, Carnegie Mellon University, SEI, 2. "Hur sammanfattas en text automatiskt av en dator?", Docent Hercules Dalianis,

NADA-KTH 3. "System on chip and scheduling related issues", Vincent Mooney, Georgia Tech. 4. "Trends in Congestion Control and Quality-of-Service: Active queue management on

the Internet of the future", Kevin Jeffay, Univ. of North Carolina at Chapell Hill 5. “Integer Optimization by Local Search”, Marcus Bohlin, SICS 6. “Cooperation of Autonomous Robots”, Jacek Malec, Lund University 7. ”Emma and Maria: Analysers for industrial systems specified in SDL”, Nisse

Husberg, Lab. för datavetenskap, Tekniska högskolan, Helsingfors 8. “UML - an industrial software modelling language”, Gunnar Övergaard, Jaczone AB 9. “Real-Time Computer Graphics Research at Chalmers”, Tomas Möller, Chalmers,

Datateknik 10. “Using constraint programming for planning, scheduling and resource allocation in

industrial applications”, Mats Aronsson and Per Kreuger, SICS 11. "An Efficient and Statically Analyzable Array Layout", Peter Drakenberg, KTH/IT 12. “Why Testing Under Expected Operational Scenarios is Not Sufficient”, Jeffrey

Voas,Cigital: 13. "Best Practice of Academia & Industry Cooperation" Annita Persson Dahlqvist,

Ericsson Microwave Systems AB 14. “Architecture: The Key to Component-based Development”, Judith Stafford, CMU-

SEI, US 15. “Managing Design Complexity Arising from Commercial Software Components”,

Kurt Wallnau, CMU-SEI, US

Distinguished Lectures Prof. Kevin Jeffay, University of North Carolina, USA “The Evolution of Quality-of- Service on the Internet”

Industrial Day In 2001 the focus was on Industrial Software Engineering, with invited speaker Jeffrey Voas from Cigital, who gave the talk “Why Testing Under Expected Operational Scenarios is Not Sufficient”.

Additional items on the agenda:

• Welcome and brief presentation of MRTC (Hans Hansson) • Poster Exhibit


6

• Component-based Software Engineering - Promises and Challenges for Industrial IT (Ivica Crnkovic )

• Experience in Using Standard Technologies in Industrial Applications (Erik Gyllenswärd)

• Education goals at Department of Software Engineering and Mälardalen University (Elvy Westlund)

• Software Product lines – Flexible and Reusable Architectures (Anders Wall) • Scalable Multiprocessor Platform for Industrial Control Applications (SARA)

(Lennart Lindh, Leif Enblom) • “Best Practice” of Academia & Industry Cooperation - Sveriges Verkstadsindustrier

(Annita Persson Dahlqvist) Panel: Total global integration of real-time, safety-critical systems with non-real-time non-safety-critical information systems - utopia or reality? (Panellists: Jeffrey Voas, Hans Skoog, Christer Ramebäck, Annita Persson, Björn Lisper, Christer Norström; Moderator: Bengt Asker)

2002

Seminars

Internal Speakers 1. Thesis proposal: Using Software Architecture and Component Concepts to Promote

Software Maintainability and Reuse Rikard Land 2. Intelligenta System och Artificiell Intelligens: Hur smart kan en TV bli? Peter Funk 3. Science, Philosophy and Ethics of Computing Gordana Dodig-Crnkovic 4. Marknadsundersökning av Arenor, Spår och Spelutvecklingsutbildning Mohammed El

Shobaki 5. Thesis Presentation Uniform interface for hardware and software threads Sebastian

Penner 6. Thesis Presentation: Design and Implementation of a Platform Independent 3D

Graphics Framework Per Lindén och Tomas Wilén 7. Exjobbspresentation FPGA och IP komponenter 8. Invigningen av teknIQ-center Anders Martinsen 9. Licentiate thesis defense Filip Sebek 10. Thesis Presentation:USB/CAN brygga i VHDL Peter Nilsson och Magnus Nilsson 11. Thesis Presentation: Förstudie kring intelligenta ställdon för tryckpressar Anders

Martinsen 12. Thesis Presentation Simple Object Request Broker (SORB) Johan Henriksson 13. HSV utvärderar dataingenjörsutbildningen Mohammed El Shobaki 14. Low Power Design & Operating Systems Raimo Haukilahti 15. Licentiate proposal Constraint Satisfaction and Scheduling using Local Search Markus

Bohlin 16. Thesis Presentation Implementation of a terrain navigation correlator for an

underwater vehicle in a FPGA Kim Andersson and Filip Traugott 17. Licentiate proposal: Dimensional Inference in Strongly Typed Modelling Languages

Mikael Sandberg 18. Thesis Presentation Analysis of the Hardware Design Space in Embedded Systems

Thomas Sporrong and Fredrik Pettersson 19. When does a disabled instruction cache out-perform an enabled? Filip Sebek


7

20. Teknisk Presentation av ett mycket avancerat och prisvärt SoC System 21. Small and simple real time operating systems 22. Trådlös överföring mellan enkla noder. 23. Power Simulators for Embedded Systems Lena Higberg 24. Properties and Terminology of Parallel Systems Leif Enblom 25. Implementering av en terrängnavigerings- korrelator för undervattensfarkoster i en

FPGA 26. A Dynamic Memory Allocator in hardware Karl Ingström and Anders Daleby 27. Improving Quality Attributes of a Complex System Through Architectural Analysis -

A Case Study Rikard Land 28. Thesis Presentation Licentiate Thesis Seminar: Towards a Static Cache Analysis for

Whole Program Analysis Xavier Vera 29. PPower4 - A LaTeX Alternative to Powerpoint Kjell Post 30. The Siblings Project - Interaction Design and Handwriting Recognition Rikard Lindell 31. Network Probing Mats Björkman 32. Thesis Proposal Enhancing Real-Time Performance and Stability in Event-Driven

Real-Time Systems by using Multiple Processors Leif Enblom 33. LIC Proposal Peter Nygren

External Speakers 1. FERWeb: the driving force of information exchange, collaboration and education @

FER Mario Zagar 2. About “Real” Software Testing Sigrid Eldh, Test Expert, Ericsson AB 3. The SIMICS simulator in education and research Jakob Engblom and Niklas Rudemo,

Virtutech AB 4. Predictable Assemblies of certifiable components, Judith Stafford SEI/CMU 5. Reliability of component-based systems, Heinz Schmidt, Monash University 6. The Structure, Development, and Validation of Prediction-Enabled Technology, Kurt

Wallanu 7. Thesis proposal: CL*: Composable Type Theories for a Family of Composition Kurt

Wallnau/SEI 8. Seminarium Stresshantering Jeanette Petring 9. Om innovationer & deras historia! IdéLab 10. Föreläsning om 3D Islands 11. Critical Reviews and Visionary Approaches Johan Schubert, Ericsson Microwave 12. Formell programvaruspecifikation av realtidssystem, Martin Aronsson, SICS 13. KOALA component model Rob van Ommering, Philips

Workshops, Conferences

4th IEEE International Workshop on Factory Communication Systems August 27-30, 2002 The aim of the workshop is to provide a forum for researchers and practitioners from industry and academia involved in the area of factory communication systems.

Real-time issues in factory communications: message scheduling, distributed application support; Dependability issues in factory communications: safety, security, availability and reliability; Formal description techniques for the verification, validation and test of factory communication systems; The integration of the emerging information technologies with the


8

factory communication systems; Communication aspects in factory system design and architecture.

Workshop topics: • Real-time communication and applications • Fieldbus networks • Dependable communication and applications • Cell networks • Communications and applications modeling • High speed networks • Multimedia communication support • Building automation networks • Distributed application platforms (CORBA, Java/Jini, etc.) • Wireless networks • Internetworking, interoperability • Embedded networks • Configuration tools and network management • Intranet and internet access • Component based design of factory systems • Software and System Architectures for factory systems • Factory applications and case studies

Bengt Asker’s Workshop To celebrate the promovation of Bengt Asker to honorary doctor at MdH, a workshop on Architecture and the Design Process was arranged May 23, 2002. Several distinguished speakers were invited, resulting in the following programme:

• Relations and Trends, Bengt Asker • Architecture evaluation and mdifiability P-O Bengtsson, BTH • How the real-time behaviour is affected by added new functionality to industrial

systems, Christer Norström • When is an organisation mature enough for working professionally with architectures

Jonas Görnebrand • Facts and Trends in Industrial Embedded Systems Software Development Anders

Rosvall • The Balance between Architectures and Processes Harold W Lawson • Panel discussion: How to make MRTC leading in IT Architecture. Moderator: Bengt

Asker

WS on Development, use and maintenance of platforms in industrial Systems This half-day workshop was organisedby Christer Norström (MRTC/ABB) and Joakim Fröberg (MRTC/Volvo) in Västerås January 23rd 2002, and attracted close to 100 participants, mainly from industry. Developing a platform for future products is a very challenging task since the platform has a wide range of requirements, such as ease of use, performance, reliability, extendibility, and ease of maintenance. This workshop provided insights to several different aspects of platform use, development, and maintenance from 4 world-leading companies. Programme

• “Architecture: silly slideware or nuts-and-bolts necessity? Or both? Some examples from half a lifetime in systems engineering” – Ulf Olsson Ericsson Radio Systems AB.

• “Keys to a successful platform – 10 years of experience“ – Peter Eriksson, ABB Robotics

• AB


9

• “A platform for construction equipment in a resource constrained context” – Joakim Fröberg, Volvo Construction Equipment Components AB

• “Developing a new platform for train control systems – issues to consider” – Tage Tarkpea,

• Bombardier Transportation AB • Discussions

ABB/SEI Workshop September 25-26 the Industrial Software Engineering group organised a workshop with researchers cooperating with ABB and ABB managers and main developer strategists. The purpose of the workshop was to:

• exchange information about current and future research projects;

• identify the most relevant research topics and projects for ABB in the future;

• find most appropriate ways of cooperation and information exchange between projects;

• discuss participation in the Sixth Framework Programme (FP6)

• discuss opportunity, ABB position and intention, strategy.

Twenty people participated in the workshop, representing ABB Research (Sweden and Germany), ABB Robotics, ABB Automation Products, Software Engineering Institute (CMU), Monash University, Lund University and MdH.

First IPIS Workshop – User Gruop for IP in Sweden IPIS – User Group for IP in Sweden main focus is to organize workshops, transfer knowledge between the participants and build cooporation between comapnyes and Universities. This was the fisrt meeting and next meeting will be in Stockholm late spring 2003. The responsible organisation is MRTC.

• Fredrik Lång, XILINX; presentation of the latest thechnology and roadmaps for XILINX. • Magnus Lindlad, Altera; presentation of the latest thechnology and roadmaps for ALTERA. • Peter Nygren, MDH; presentation of the LUPUS project that resulted in one FPGA

device. • Raimo Haukilathi, MDH; presentation of a multiprocessor system in one FPGA device. • Tommy Klevin, RealFast; Present industrial project that transfer software

functionality to hardware.

The 5th Atlanta/Västerås WS on Architectures and the Hardware Support for next Generation Real-Time Platforms The workshop, which was organised in Västerås, provides a link between the research group in Atlanta and in Västerås. The research groups are addressing many similar problems, but with different backgrounds and approaches. The workshop intended to provide a forum where the researchers can interact. Results can be better reviewing, education, corporation, writing papers etc.

• Vincent, Atlanta; “Hardware/Software RTOS Design With IP Components” • Bilge, Atlanta; "Priority Inheritance Support for Lock Cache" • Tankut, Atlanta; "Assembly-level Reverse Execution for Debugging" • Peter, MDH; “Uniform interface for hardware & software threads”


10

• Henrik, MDH; “The Application of Deterministic Replay Technology on Large Industrial Robotic Controllers, a Case Study.”

• Jaehwan, Atlanta; “A novel hardware deadlock detection method” • Leif, MDH; “Exploiting I/O Communication System and Application Parallelism

in a Real-Time System” • Lennart, MDH; “Some Motivation and Problems with IP” • Yudong Tan, Atlanta; “A prioritized cache for real-time systems” • Raimo, MDH; “Comparison of the energy consumption between software and

hardware RTOSs The workshop was held at the campus of MRTC.

Industrial Day The Industrial seminar in 2002 had a focus on Safety-Critical Systems, with a much appreciated tutorial on "Safety-Critical System and Software Standards" given by Dr P.V. Bhansali, Associate Technical Fellow of The Boeing Company.

Additional items on the agenda:

• Welcome and brief presentation of MRTC (Hans Hansson) • Automatic testing with fault injection (Håkan Edler, IVF) • Poster Exhibit • Multiprocess Application Monitor (Mohammed El Shobaki) • Monitoring Hardware for Safety-Critical Systems (Lars Asplund) • Componentization of industrial control systems (Frank Lüders) • Research at Computer Science Laboratory 2001 (Ivica Crnkovic) • Flexible Scheduling and Temporal Constraints in Embedded Control Systems

(Gerhard Fohler) Enforcing Temporal Constraints (Kristian Sandström)

2003

Seminars

Internal Speakers 1. Licenciate thesis Proposal by Dag Nyström 2. Licenciate thesis proposal by Thomas Nolte 3. Thesis Presentation: Operating Systems for Symmetric Multiprocessors by Christian

Andersson and Johan Fredriksson 4. Licenciate thesis proposal byTomas Lennvall 5. Licenciate thesis proposal by Radu Dobrin 6. Parallel Execution of I/O System and Application Functionality by Leif Enblom 7. Virtuoso RTOS byRaimo Haukilahti 8. Thesis Presentation: Industrial Ethernet EtherNet/IP by Johnny Nordin & Marie

Persson 9. Thesis Presentation by Johan Erikson & Bo Lindell 10. Licentiate thesis defense by Thomas Nolte


11

11. Licentiate thesis defense by Dag Nyström 12. Research Seminar IDt IEl - Wireless Communication chaired by Mats Björkman 13. Research Seminar IDt IEl – Robotics chaired by Lars Asplund 14. Thesis Presentation by Toni Riutta, Kaj Hänninen, Gisèle Mwepu, Susanne Eriksson,

Ingela Hedman, and John Melin 15. Presentations from IP 16. Licentiate thesis defense by Radu Dobrin 17. Thesis Presentation by Baharak G. Fard, Jari Ala-Kurikka, Daniel Lundberg, Enrico

Viero, Ola Ottermalm, Pier Blomkvist, Magnus Haeppling and Jonas Seborn 18. Testbänkens täckningsgrad, Analys av kodtäckningsverktyg arranged by CAL 19. Thesis Presentation by Anna Martinussen och Åza Sjöquist 20. Workshop on Embedded Systems 21. Licenciate thesis Proposal by Christina Wallin 22. Licentiate thesis defense by Rikard Land; An Architectural approach to Software

Evolution and Integration 23. Serie of Seminars arranged by Anders Martinsen; teknIQ 24. Thesis Presentation chaired by Anders Martinsen 25. USB interface for Embedded Systems 26. Workshop on Robotdalen charied by Lars Asplund 27. Licentiate thesis defense by Thomas Larsson: Adaptive Algorithms for Collision

Detection and Ray Tracing of Deformable Meshes 28. Licentiate proposal seminar: Artificial intelligence diagnostics in psychophysiological

medicine by Markus Nilsson 29. Thesis Presentation by Jonas Ehlin: Jump Address Memory (JAM) in Multi-X 30. Licentiate thesis defense by Christina Wallin 31. Licentiate thesis defense by Frank Lüders 32. Thesis Presentation by Henrik Bodin, Daniel Halvarsson, Per-Arne Lennartsson,

Denis Kulenovic, Per-Erik Hinderson, and Thomas Holm 33. MRTC Seminar :Paper Presentation by Stig Larsson 34. Öppen Vret arranged by IDT and IEl 35. Licentiate thesis defense by Baran Çürüklü: Layout and function of the intracortical

connections within the primary visual cortex 36. PhD Proposal by Baran Çürüklü: A Canonical Model of the Primary Visual Cortex 37. Licenciate thesis Proposal by Jan Carlson: A resource-efficient event detection algebra 38. Licenciate thesis Proposal by Waldemar Kocjan: Dynamic Global Constraints 39. PhD proposal by Xavier Vera: Cache and Compiler Interaction

External Speakers In addition to the many presentations by prominent external speakers at the ESSES Summer School and RTiS (see below), the following talks was given by external speakers at MRTC in 2003:

1. Macromedia Flash i industriell tillämpning by Anders Älvegran, Future Breeze Technology AB

2. Elektronik i framtida produkter by Bo Wikström 3. Invited Talk - Space Quality by Claes Berlin 4. Towards timing analysis and prediction for IEC6-1131 component systems by Prof.

Heinz Schmidt, Monash University


12

5. Designing Compact Fuzzy-Rule Based Systems Using GA, by Dr. Ning Xiong 6. Sweden - WinWin requirements negotiations, Paul Grünbacher, Johan Kepler

University 7. Model checking and predictable assembly of certifiable componenets, Kurt Wallanu,

James Ivers and Mark Klein, SEI at Carnegie Mellon University 8. Distributed component models, Gerardo Padilla, CENTRO DE INVESTIGACION

EN MATEMATICAS. Mexico 9. Some Probabilistic Models for Real-Time Scheduling, Prof. Nimal Nissanke, School

of Computing, Information System and Mathematics at South Bank University, London

10. Dynamic Data Dissemination, Krithi Ramamrithm, IIT Mumbay 11. In-Home Network Middleware - Standards and Interoperability, Dr. Peter van der

Stok, Philips Research

Workshops, Summer school, Conferences

The European Summer School on Embedded Systems (ESSES) During a three month period (July 14th- Oct 10th) MRTC arranged and hosted the European Summer School on Embedded Systems (ESSES). The objective of ESSES was to provide a forum for PhD students and early-career researchers in low-power, embedded, and real-time research areas to learn up-to-date research from masters in the three strongly inter-related research areas and to foster their own research network. In order to achieve this more than 45 world-class lecturers were invited and gave lectures on their research field to more than 80 international students. The networking was supported by the many social activities, ranging from Swedish cray-fish party and Korean barbeque, to descending into an old silver-mine. The summer school also made visits to relevant industry, such as ABB Robotics, Ericsson, CC-systems. The summer school was sponsored by BK21 (Korea), ARTIST (EU-network), Ciss (Denmark), Artes (Sweden), and MRTC.

ESSES topics and lectures The School was divided into three periods, and each period was divided into 3-4 weeks, each with a specific main topic. The following is summary of the technical programme of ESSES:

Period 1: Low Power Systems July 14-Aug 15 • Week 1: Intro and Overview; speakers: Luca Benini (Uni. of Bologna), Diana

Marculescu (CMU), Vivek Tiwari (Intel) • Week 2: DVS (Dynamic Voltage Sched.); speakers: Kiyoung Choi (Seoul National

Uni.), Flavius Gruian (Lund University), Jihong Kim (Seoul National Uni.) • Week 3: Low-power System Modelling and I/O Systems; speakers: Naehyuck Chang

(Seoul National Uni.) • Week 4: OS Support for Low Power; Speakers: Frank Bellosa (Uni. of Erlangen),

Carla Ellis (Duke University), Jason Flinn (Uni. of Michigan) Period 2: Embedded Systems Aug 18 – Sep 19

• Week 1: Intro and Overview; speakers: Kris Kuchcinski (Lund University), Wayne Wolf (Princeton University), Soo-Ik Chae (Seoul National Uni.), Kang Shin (University of Michigan), James Whittaker (Florida Inst of Tech)


13

• Week 2: ES Pgming and Compilation; speakers: Jakob Engblom (Virtutech/Upps. Uni), Dr. Jaejin Lee (Seoul National Uni.), Dr. Daniel Kastner (AbsInt)

• Week 3: ES Simulation and Design Space Exploration; speakers: Petru Eles (Linköping Uni.) Jakob Engblom (Virtutech/Upps. Uni), Soonhoi Ha (Seoul National Univ.), Ben Lee (Oregon State Uni), Zebo Peng (Linköping Uni), Marcus Schmitz (Uni. Southampton)

• Week 4: OS and Middlew. for ES; speakers: Hyuk Jae Lee (Seoul National Uni); Rob van Ommering (Philips Nat.Lab), Alan Shaw (Uni of Washington), Henrik Thane (Mälardalen University)

Period 3: Real-time Systems Sept. 22 - Oct. 10

• Week 1: Intro and Overview; speakers: Hermann Kopetz (Vienna Univ of Tech), Jane Liu (Microsoft), Lui Sha (University of Illinois)

• Week 2: Synchronous Languages and Formal Methods in RTS; speakers: Nicolas Halbwachs (Verimag), Pascal Raymond (Verimag), Paul Pettersson (Uppsala Univ), Wang Yi (Uppsala University), Al Mok (University of Texas), Insup Lee (Univ of Pennsylvania)

• Week 3: Real-time Scheduling; speakers: Giorgio Buttazzo (University of Pavia), Gerhard Fohler (Maälardalen University), Seongsoo Hong (Seoul National University)

Real-Time in Sweden (RTiS´03) MRTC arranged and hosted the Swedish National Real-Time Associations (SNART) seventh biannual Real-Time in Sweden (RTiS) conference in August 18th-19th in Västerås. The conference covered four topics: Verification and Validation; Control and Real-Time; Engineering of Complex Embedded Systems and Component-Based Engineering of Embedded Systems. Each topic had invited speakers from both academy and industry.

This year we had four distinguished academic speakers, Prof James Whittaker, Prof Heonshik Shin, Prof Soo-Ik Chae and Prof Kang G. Shin. From industry we had the following distinguished speakers, Mikael Adenmark, Scania, Sigrid Eldh, Ericsson, Torkel Finnström, SAAB Bofors Dynamics AB, Peter Cigéhn, TietoEnator Telecom & Media, John Lundbäck, Arcticus Systems and of course many other prominent speakers from both academia and industry.

The conference was very well-attended, and there were many opportunities for researchers, engineers, students and other interested participants to make new contacts.

IPIS Workshop – User Gruop for IP in Sweden The main focus of IPIS – User Group for IP in Sweden (Intressegruppen för IP I Sverige) – is to organize workshops, transfer knowledge between the participants and build cooporation between comapnyes and Universities. During 2003 MRTC was responsible for arranging two IPIS meetings.

Industrial Day The focus on 2003 years edition of MRTC Industrial Seminar was on Robotics, both from an industrial and academic perspective. One of the highlights was a talk by Erik Sandewall from Linköping University on “The WITAS Unmanned Aerial Vehicle Project”.

Additional items on the agenda: • Welcome and brief presentation of MRTC (Hans Hansson)


14

• Learning systems and autonomous robotics at AASS (Tom Ducket, Örebro University)

• Industrial Robotics – pas, now and in the future (Torgny Brogårdh, ABB Robotics) • The Robot Valley Initiative and Robotics at MRTC (Lasr Aspund) • Panel: Robotics in Society (Panellists: Tom Duckett, Erik Sandevall, Torgny

Brogårdh, Lars Asplund; Moderator: Christer Norström)

2004

Seminars

Internal Speakers 1) Licenciate thesis Proposal by Johan Andersson

2) PhD defense by Xavier Vera – Cache and Compiler Interaction

3) PhD defense by Magnus Larsson - Predicting Quality Attributes in Component-based Software Systems

4) Licentiate Thesis defense by Daniel Sundmark - Deterministic Replay Debugging of Embedded Real-Time Systems using Standard Components

5) Licentiate Thesis defense by Joakim Fröberg - Engineering of Vehicle Electronic Systems: Business requirements reflected in Architecture

6) Licentiate thesis defense by Markus Bohlin - Design and Implementation of a Graph-Based Constraint Model for Local Search

7) Licentiate thesis defense by Markus Nilsson - A case-based approach for classification of physiological time-series

8) Licentiate thesis defense by Jan Carlsson - An Intuitive and Resource-Efficient Event Detection Algebra

9) Seminar led by Andreas Löfrgren - Safelogic - Formal Property Checker Tool

10) Licentitate thesis defense by Mohammed El Shobaki - On-chip monitoring for non-intrusive hardware(/software observability

11) Licentiate thesis defense by Peter Nygren - An Application Programming Interface for Hardware and Software Threads

12) Licenciate thesis Proposal by Rikard Lindell

13) Licentitate thesis defense by Mikael Sollenborn - Clustering and Case-Based Reasoning for User Stereotypes

14) Licenciate thesis Proposal by Jonas Neander

15) Licenciate thesis Proposal by Adam Dunkels

16) Interinstitutionellt genusfroum led by Gordana Dodig-Crnkovic

17) PhD proposal by Dag Nyström

18) Docentföreläsning by Mikael Nolin – Engineering of Real-Time Systems using Advanced Analysis Techniques


15

19) Licentitate thesis defense by Rikard Lindell - new Interaction - a content centric data surface approach

20) Licentitate thesis defense by Goran Mustapic - Architecting software for complex embedded systems

21) PhD proposal by Jukka Mäki-Turja

22) PhD defense by Damir Isovic - Flexible Scheduling for Media Processing in Resource Constrained Real-Time Systems

External Speakers The following talks were given by external speakers at MRTC in 2004:

1) Programming with time-constrained reactions by Johan Nordlander, LuTH

2) The Philosophy of Information as a New Field of Research by Luciano Floridi, University of Oxford

3) Predictable assembly of software components by Kurt Wallnau SEI/CMU

4) Medicin och Artificiell Intelligens: En psykofysiologisk ansats för identifiering av symptom, diagnos och effektiv behandling by Bo v Scheele, Stressmedicin AB, Peter Funk MdH

5) Robust Open Component Based Software Architecture by Michel Chaudron, Technical University Eindhoven

6) IT och artificiell intelligens(AI)/intelligenta system för diagnos, stressprevention och behandling av stress, Söderhamns TeknikPark, Stressmedicin AB samt MdH

7) Component-based software architecture by Paula Inverardi, Computer Science Department at University of L'Aquila

8) Overview of the Bound-T WCET tool by Niklas Holsti, Tidorum Ltd

9) Fri och öppen programvara - en ny strategisk inriktning

10) Fallstudiemetodik by Per Runesson, LU

Seminary day

Soft Real-Time Aspects in Ericsson's Telecom Systems During 2004 MRTC also arranged a seminar day: Soft Real-Time Aspects in Ericsson's Telecom Systems. The programme included the following topics:

• Soft real time and high availability by Mike Williams (Ericsson/TSP) • How the AXE System Implements Soft Real Time by Åke Nyberg (Ericsson/AXE) • Carrier Class Telecom Server Platform by Alexander Larruy (Ericsson/TSP) • Erlang Open Telecom Platform by Ulf Wiger (Ericsson/AXD) • Characteristics of AXE under extreme overload during a catastrophe by Lars-Åke

Johansson Ericsson/AXE) • Parallel PLEX Project by Björn Lisper


16

Industrial Day This years traditional Industrial Seminar focused on development of large complex embedded sytems. Swedish industry has a tradition in being excellent in these systems with high reliability and availability requirements, such as telecom systems, automation systems, aeroplanes, and vehicles. The systems become increasingly complex, while at the same time the global competition becomes tougher and tougher. To remain competitive we must both understand where the complexity origins and how to handle it efficiently. In this year’s seminar these issues were addressed by providing talks from two world leading researchers, Kurt Wallnau Software Engineering Institute, CMU, USA and Jeff Voas, Cigital, USA. They both addressed design and verification issues when developing complex systems. Further, a talk addressing complexity issues in system development was given by Jakob Axelsson from Volvo Cars. From the programme:

• Welcome and brief presentation of MRTC, Hans Hansson, MdH • Softwares Inoperable Interoperability Problem, Jeff Voas, Cigital, USA • Component-based architectural specifications that enhance predictability of quality-attributes,

Kurt Wallnau,CMU, USA • Complexity Issues in System Development: Examples from Automotive Electronics, Jakob

Axelsson, Volvo Cars/MDH The day was finished with a panel discussion with Prof Christer Norström as moderator, and participation from the speakers and from Per Skytt (ABB Corporate Research). This year’s edition also opened for further informal discussions after the panel while the participants enjoyed a beer and a sandwich.


1

PhD exams. Enclose an updated list of students who have completed their PhD. Include at least year of birth, gender, thesis title, supervisor(s), university department, year of degree, university of basic academic training, total amount of Foundation funding received, and employer six months (or an available time) after exam. Name Born Gen

der Title of Thesis Supervisor Co-supervisor Co-supervisor Public

defense U/Grad exam

Carrier

Henrik Thane 1970 Male Monitoring, Testing and Debugging of Distributed Real-Time Systems

H. Hansson/ J. Wikander

2000 at KTH

UU, Lic: KTH

Senior Lecturer at MdH CEO Zealcore

Jan Gustafsson 1950 Male Analyzing Execution-Time of Object-Oriented Programs with Abstract Interpretation

Bengt Jonsson

Hans Hansson 2000 at UU

UU, Lic: KTH

Senior Lecturer at MdH

Kristian Sandström

1970 Male

Enforcing temporal constraints in embedded control systems

C Norström/ J. Wikander

2002 at KTH

MdH, lic: KTH

Senior Lecturer at MdH CTO Zealcore

Anders Wall 1971 Male Architectural Modeling and analysis of complex real-time systems

Christer Norström

Hans Hansson 2003 at MdH

UU, Lic: UU

Researcher at ABB Corp Research

Xavier Vera 1975 Male Cache and Compiler Interaction Björn Lisper Jan Gustafsson 2004 at MdH

UPC Barcelona

Researcher at Intel Research in Barcelona

Magnus Larsson 1969 Male Predicting Quality Attributes in Component-based Software Systems

Ivica Crnokovic


Lic: UU Research Manager, ABB Corp Research

Damir Isovic 1974 Male Flexible Scheduling for Media Processing in Resource Constrained Real-Time Systems

Gerhard Fohler

Ivica Crnkovic 2004 at MdH

MdH Senior Lecturer at MdH

Baran Cürüclü 1969 Male A Canonical Model of the Primary Visual Cortex

Björn Lisper Anders Lansner

Peter Funk 2005 at MdH

MdH Lecturer at MdH PostDoc at ????

Jukka Mäki-Turja 1967 Male Engineering Strength Response-Time Analysis Mikael Nolin

Christer Norström


MdH, Lic: LiTH

Senior Lecturer at MdH

Markus Nilsson 1977 Male Retrieve and Classify Peter Funk Björn Lisper 2005 at MdH

MdH Still employed as PhD student

Gustaf Naeser 1972 Male A formal Approach to Embedded High-Integrity Real-Time Systems

Lars Asplund

Mats Björkman

2005 at MdH

UU, Lic: UU

Still employed as PhD student

Tomas Lennvall 1974 Male Adapting to varying demands in resource constrained real-time devices

Gerhard Fohler Ivica Crnkovic

2005 at MdH


Radu Dobrin 1970 Male Combining off-line schedule construction and fixed priority scheduling in real-time computer systems.

Gerhard Fohler Ivica Crnkovic

2005 at MdH


Dag Nyström 1969 Male Data Management in Vehicle Control-Systems Christer Norström Mikael Nolin

Jörgen Hansson

2005 at MdH



1

Lic exams Ditto for students who have completed a licentiate exam.

Name Year Thesis Univ Magnus Larsson 2000 Applying Configuration Management Techniques to

Component-Based Systems UU

Markus Lindgren 2000 Measurement and Simulation Based Techniques for Real-Time Systems Analysis

UU

Anders Wall 2000-09-15 A Formal Approach to Analysis of Software Architectures for Real-Time Systems

UU

Stefan Sjöholm 2001-03-02 Designing ASIC/FPGA with Top Down Design Pressmeddelande

MdH

Damir Isovic 2001-06-08 Handling Sporadic Tasks in Real-time Systems - Combined Offline and Online Approach

MdH

Johan Furunäs 2002-01-12 Interprocess Communication Utilising Special Purpose Hardware,

UU

Xavier Vera 2002-03-20 Towards A Statistic Cache Analysis for Whole Program Analysis

MdH

Filip Sebek 2003-03-20 Instruction Cache Memory Issues in Real-Time Systems MdH Dag Nyström 2003-05-12 COMET: A Component-Based Real-Time Database for

Vehicle Control-Systems MdH

Thomas Nolte 2003-05-12 Reducing Pessimism and Increasing Flexibility in the Controller Area Network

MdH

Radu Dobrin 2003-05-27 Transformation Methods for Off-line Schedules to Attributes for Fixed Priority Scheduling

MdH

Tomas Lennvall 2003-05-30 Handling Aperiodic Tasks and Overload in Distributed Off-line Scheduled Real-Time Systems

MdH

Rikard Land 2003-05-19 An Architectural Approach to Software Evolution and Integration

MdH

Anders Pettersson 2003-10-31 Analysis of Execution Behavior for Testing of Real-Time Systems

MdH

Thomas Larsson 2003-11-03 Adaptive Algorithms for Collision Detection and Ray Tracing of Deformable Meshes

MdH

Joel Huselius 2003-11-10 Preparing for Replay MdH Leif Enblom 2003-11-28 Utilizing Concurrency to gain performance in an Industrial

Automation System MdH

Baran Cürüklü 2003-12-08 Layout and Function of the Intracortical Connections within the Primary Visual Cortex

MdH

Christina Wallin 2003-12-16 A process Approach for Senior Management Involvement in Software Product Development

MdH

Frank Lüders 2003-12-16 Use of Component-Based Software Architectures in Industrial Control Systems

MdH

Daniel Sundmark 2004-03-16 Deterministic Replay Debugging of Embedded Real-Time Systems using Standard Components

MdH

Joakim Fröberg 2004-04-02 Engineering of Vehicle Electronic Systems: Business requirementsm reflected in Architectur

MdH

Markus Bohlin 2004-04-28 Design and Implementation of a Graph-Based Constraint Model for Local Search"

MdH

Mohammed El Shobaki

2004-09-23 On-Chip Monitoring for Non-Intrusive Hardware/Software Observability

UU

Markus Nilsson 2004-05-11 A case-based approach for classification of physiological MdH


2

time-series Jan Carlson 2004-06-07 An Intuitive and Resource-Efficient Event Detection

Algebra MdH

Peter Nygren 2004-09-24 Application Interface for Hardware and Software Threads MdH Mikael Sollenborn 2004-10-21 Clustering and Case-Based Reasoning for User Stereotypes MdH Rikard Lindell 2004-10-29 Towards new Interaction - a content centric data surface

approach MdH

Goran Mustapic 2004-12-03 Architecting software for complex embedded systems MdH Anders Möller 2005-01-28 Component Technologies for Heavy Vehicles MdH Mikael Åkerholm 2005-02-18 A Software Component Technology for Vehicle Control

Systems" MdH

Adam Dunkels 2005-03-22 Towards TCP/IP for Wireless Sensor Networks MdH Johan Fredriksson 2005-04-13 ransformation of Component Models to Real-Time Models

- Optimizing Resource Usage MdH

Andreas Johnsson 2005-04-21 Bandwidth measurements in Wired and Wireless networks MdH Stig Larsson 2005-06-03 Improving Software Product Integration MdH Johan Andersson 2005-06-16 Modeling the Temporal Behavior of Complex Embedded

Systems - A Reverse Engineering Approach MdH

Erik Olsson 2005-10-11 Diagnosis of Machines within Industry using Sensor Signals and Case-Based Reasoning

MdH

MRTC Final Report Appendix 8 Gunnar Widforss

1

Future exams Enclose a similar updated list of students who have been at any time financed by the Foundation, but who have not yet completed their exam. Specify also the expected time for exam and the reason why they have not completed their exam yet. Ph D student Planned lic exam Planned dr

exam Reason for delay

Kurt Wallnau No 2004 Low activity Frank Lüders 2003-12-18 2005 Almost due time

Johan Furunäs UU2001-12-21 2005 Low activity, almost due time

Adam Dunkels 2005-03-22 2006 Due time Anders Pettersson 2003-10-31 2006 Due time Christina Wallin 2003-12-16 2006 Due time Daniel Sundmark 2004-03-16 2006 Due time Henrik Abrahamsson 2005 2006 Due time Jan Carlsson 2004-06-07 2006 Due time Joakim Adomat 2003 2006 Due time Joakim Fröberg 2004-04-02 2006 Due time Joel Huselius 2003-11-10 2006 Due time Rikard Land 2003-09-19 2006 Due time Thomas Nolte 2003-05-12 2006 Due time Rikard Lindell 2004-11-29 2006 Due time Stefan Sjöholm lic 010302 2006 Due time Andreas Löfgren 2005 2007 Annita Persson Dahlqvist 2005 2007 Jonas Neander 2005 2007 Due time Thomas Larsson 2003-11-03 2007 Due time Markus Bohlin 2004-04-28 2007 Due time Goran Mustapic 2004-12-03 2007 Due time Mikael Åkerholm 2005-02-18 2007 Due time Johan Fredriksson 2005-04-13 2007 Due time Andreas Johnsson 2005-04-21 2007 Due time Johan Andersson 2005-06-16 2007 Due time Erik Olsson 2006 2008 Due time Mathias Ekman 2005 2008 Due time Sigrid Eldh 2005 2008 Due time Susanna Nordström 2006 2008 Due time Anders Möller 2005-01-28 2008 Due time Stig Larsson 2005-06-03 2008 Due time Larisa Rizvanovic No 2008 Due time Ewa Hansen 2007 2009 Due time Pengpeng Ni 2007 2009 Due time Johan Stärner No 2004 Low activity, Lecturer at

MdH Gordana Dodig-Crnkovic No 2006 Due time

MRTC Final Report Appendix 8 Gunnar Widforss

2

Mikael Sollenborn 2004-10-21 Lack of funding

Roger Jonsson 2004 Raimo Haukilahti 2004 No Stefan Stjernen 2004 No Christer Gerdtman 2007 No Due time Christer Sandberg 2006 No Due time Daniel Flemström 2007 No Due time Johan Erikson 2006 No Due time Kaj Hänninen 2006 No Due time Mikael Sandberg 2004 Low activity Mohammed El Shobaki 2004 Lecturer at MdH, enrolled at

UU Tommy Klevin Low activity Waldemar Kocjan Low activity


1

No exams Enclose a similar updated list of students who have been at any time financed by the Foundation, but who are no longer expected to complete their exam. Indicate also why they have left. When appropriate, specify their employer six months (or an available time) after their leave. Ph D student Reason Funding/employment - enrollment Career No longer enrolled:

Andreas Sjögren own request Doktorandanställning

Nerina Bermudo own request

ASTEC/Nutek/Vinnova competence center Emigrated

Björn Allvin own request ARTES/SSF

Web-designer (incuding KKS-website)


1

Innovations and prototypes A list of innovations and prototypes that have been produced, spin-off companies founded or being contemplated, etc.

- RealFast AB is a spin-off company based on the work of Prof Lennart Lindh. The basic idea is to provide a real-time kernel in HW which supports easy scheduling and configuration of multiprocessor systems. Realfast has today about 20 employees today.

- A configuration, scheduling and code generating tool for hard real-time systems were developed by Prof Christer Norström and Dr Kristian Sandström. The tool is based on the ideas developed in Prof Christer Norström’s thesis. The tool has been commercialised by the company Arcticus Systems AB. The tool is today used by for example Volvo Construction Equipment and their control system for wheel loaders and articulated haulers.

- Volcano Communication Technology AB sells a tool for mastering configuration of communication buses in large embedded systems such as vehicle control systems. An algorithm for packing signals developed by Magnus Ahlmark, Prof Christer Norström and Dr Kristian Sandström is a base for efficient utilisation of the network. Volcano was purchased by Mentor Graphics in spring 2005.

- ZealCore Embedded Solutions AB (ZC) is a spin-off company that is based on the PhD thesis of Dr Henrik Thane´and a patent issued by Henrik Thane and Hans Hansson. The basic idea is to provide a blackbox recorder for complex industrial systems. The recorded information is used after a system crash to detect the cause of the crash in an easy way. ZC has been granted venture capital and has currently a huge interest from several big end-customers, but also from large tool vendors. ZC has today 5 full-time employed. ZealCore is recognized as one out of seven "Cool Vendors in Emerging Trends and Technologies 2005" by Gartner.

- Peter Funk has used AI methods in an innovative way together with a company named PBM Stressmedicine AB to provide a tool for monitoring the stress level and guide the monitored person with treating exercises. The tool is aimed for people that has expired a burn out or are much stressed.

- Peter Nygren and Ingemar Reyier have developed a mobile autonomous platform including a dock for industrial robots to increase the usage of a robot installation in a manufacturing plant. A spin-off company has been established for commercialising the platform.

- A component based architecture with associated tools developed by Mikael Åkerholm and Mikael Nolin have been implemented in a tool suite at CC systems AB. CC Systems develops and delivers electronic solutions and software for machines and vehicles in harsh environments.

- Associate Professor Jan Gustafsson, Mohammed El-Shobaki, and Joakim Adomat have developed a prototype for a noise sensor, MicroEar. The sensor continuously monitors the noise level and makes a warning when the level is harmful. The invention got an innovation award and funding for a first prototype.

- Johan Andersson has developed two tools one for monitoring dynamic information in complex systems and one for visualisation of the monitored information. The tools is now integrated and in use at one of our larger partners control system. More general versions of the tools are currently discussed to be commercialised by a tool vendor.

- Dag Nyström, Christer Norström and Mikael Nolin have developed a concept for efficient data management for embedded hard real-time systems. The concept was


2

granted 1400 KSEK by SSF (the foundation of strategic research) for developing a business plan and a demonstrator together with an end customer.


1

Patents H. Thane, H. Hansson. Debugger, Swedish patent 0203544-28.3, 2004, acquired by Zealcore M. el Shobaki, H Hansson. MAMon, Swedish patent no SE517917, 2004, acquired by RealFast AB;


Awards 2000

• “Integrating Reliability and Timing Analysis of CAN-based Systems” recieved the Best Paper Award in the IEEE Workshop on Factory Communications Systems (WFCS-2000) in Porto

2001 • Christer Norström – Best Teacher Award at Mälardalen University 2001, for his

undisputable engagement for the students in all courses. • Jan Gustafsson and Peter Funk – Computer Science Price 2001 at MdH for their

contributions to a prospering computer science area at MdH, in particular for their work with starting a new masters year programme with research profile in computer science.

2002 • Peter Funk was awarded first prize at idea-competition at Mälardalen University

(IdéLab), and received an award of 125.000 SEK to further develop the idea. • Peter Funk was awarded a regional prize (Innovation Västmanland’s Special Price) of

6000 SEK • Jan Gustafsson’s proposal for a business idea was given an Honorable Mention for

being among the top 20 in Venture Cup, Stockholm, in December 2002.

1


The complete list of projects 1. 3D Graphics Simulation ............................................................................................. 2 2. A Tool Environment for the Development of Embedded systems ............................ 3 3. AIM, Artificial Intelligence in Medical Applications ................................................ 3 4. An Application Programming Interface for Hardware and Software Threads .......... 3 5. Adaptive Intelligent Knowledge Management .......................................................... 3 6. Adaptive User Interfaces using User Models and Clustering Techniques................. 3 7. APICS - A Process for Efficient and Effective Integration of Component Based Software ............................................................................................................................. 3 8. ARTIST – Advanced Real-time Systems, EU Network of Excellence, FP5............. 3 9. ARTIST – Advanced Real-time Systems, EU Network of Excellence, FP6............. 4 10. ASTERIX ............................................................................................................... 4 11. Bayesian Confidence Propagation Neural Network with Spiking Units ............... 4 12. BETSY - BEing on Time Saves EnergY – EU IST Project................................... 4 13. CBM (Condition Based Maintenance, reliability and availability of technical systems).............................................................................................................................. 4 14. COMET - COMponent-based Embedded real-Time database system .................. 4 15. ComposeIT ............................................................................................................. 4 16. Computer Science Paradigms in Gender Research Perspective............................. 5 17. COMSED - Communication for Small Embedded Devices .................................. 5 18. Constraint Programming and Optimization for Industrial Applications ................ 5 19. Data Field Haskell .................................................................................................. 5 20. Debug ..................................................................................................................... 5 21. Dimensional Analysis for Modelica....................................................................... 5 22. Dimensional Inference in Strongly Typed Specification Languages..................... 5 23. DRIVE – Distributed Real-time systems In Vehicles............................................ 6 24. EAST/EEA ............................................................................................................. 6 25. English Butler......................................................................................................... 6 26. ExAct, Intelligent Systems and Artificial Intelligence for industrial applications 6 27. EvaluNet – Network Performance Evaluation ....................................................... 6 28. EvaluNet II ............................................................................................................. 6 29. FABRIC- Federated Applications Based on Real-time Interacting Components Architecture for a ubiquitous computing platform – EU IST Project ................................ 6 30. FIRST - Flexible Integrating Scheduling Technology – EU IST Project .............. 7 31. FLEXCON - flexibe controllers ............................................................................. 7 32. FLEXCON - Flexible Embedded Control Systems – SSF..................................... 7 33. Flexible Reliable Timing Constraints .................................................................... 7 34. Genetic Algorithm Theory ..................................................................................... 7 35. Global Constraints in Constraint Programming and Local Search ........................ 7 36. 2003-presentHaxcel................................................................................................ 8 37. HEAVE .................................................................................................................. 8 38. High Level Languages for Hard and Embedded Real-Time Systems ................... 8 39. IMPLY - Intelligent Media Personalisation ........................................................... 8 40. Incremental scheduling .......................................................................................... 8 41. Industrial IT............................................................................................................ 8 42. Information Processing in V1 ................................................................................ 8 43. Layout and Function of the Intracortical Connections within the Primary Visual Cortex (A Canonical Model of the Primary Visual Cortex) .............................................. 8


44. LESS BUGS........................................................................................................... 9 45. Light Weight Formal Methods and AI methods for System Analysis and Reuse . 9 46. Low Power Techniques for Real Time Operating Systems ................................... 9 47. MAMon - Multiprocess Application Monitor........................................................ 9 48. MultEx.................................................................................................................... 9 49. Multiprocessor Data-Driven Real-Time Systems .................................................. 9 50. Open Controllers .................................................................................................... 9 51. Parallel Execution of PLEX Programs................................................................... 9 52. Funding: Ericsson, Vinnova (ASTEC)PICO - Philosophy of Information and Computing........................................................................................................................ 10 53. Predictably flexible real-time systems ................................................................. 10 54. Prefetching techniques for improved performance and predictability in embedded multiprocessor systems .................................................................................................... 10 55. ProPlat .................................................................................................................. 10 56. PSI – Product Data Management and Software Configuration Management...... 10 57. RATAD Reliability And Timing Analysis of Distributed systems...................... 10 58. Real-time Architecture for Networked Multimedia Streaming systems – Mälardalen University’s personal grant for a graduate student ..................................... 10 59. Remodel ............................................................................................................... 11 60. Replacing Software with Hardware ..................................................................... 11 61. Response-time Calculations with Integer Linear Programming Methods ........... 11 62. RobotComp .......................................................................................................... 11 63. Safety Critical Systems for Embedded Systems .................................................. 11 64. SALSART ............................................................................................................ 11 65. SAVE ................................................................................................................... 11 66. SAVE/ComponentModel ..................................................................................... 11 67. Self-evolving Dependable Real-Time Systems.................................................... 11 68. SoCrates - System on Chip for Real-Time Embedded Systems .......................... 11 69. STINA - Standard Technologies in Industrial Applications ................................ 12 70. System-on-Programmable-Chip........................................................................... 12 71. TATOO - Test and Testability of Distributed Real-Time Systems ..................... 12 72. TESTit - Testing techniques for real-time systems .............................................. 12 73. The Siblings Project ............................................................................................. 12 74. TIMERS - TIming analysis, Modeling and Evaluation of Real-time Systems.... 12 75. Tools for analysis of complex software systems:................................................. 12 76. Traffic Measurement and Analysis ...................................................................... 13 77. Utilizing Hardware Parallelism to Optimise Cost and Performance for Real-Time Kernels ............................................................................................................................. 13 78. Validating Hardware Components ....................................................................... 13 79. Warping - Wait and lock free synchronisation mechanisms................................ 13 80. Worst-case execution time analysis (WCET) ...................................................... 13

1. 3D Graphics Simulation Project leader: Björn Lisper (Kjell Post)

MRTC Final Report Appendix 13 Members: Tomas Larsson, Thomas Akenine-Möller, Chalmers, (Peter

Fritzson, external advisor, Linköping University) Partners: Chalmers University of Technology, (Linköping University) Funding: Internal 1999-present

2. A Tool Environment for the Development of Embedded systems Project leader: Wang Yi Members: Anders Wall, Christer Norström Partners: Uppsala University, Mecel AB Funding: ARTES and MdH 1999-____

3. AIM, Artificial Intelligence in Medical Applications Project leader: Peter Funk (IDt) & Bo von Schéele (SMAB) Members: Markus Nilsson (Ph.D. student), Mikael Sollenborn (Ph.D.

student), Peter Funk (supervisor), Bo von Schéele (supervisor), Ning Xiong, Ph.D., Johnny Holmberg, Ph.D

Partners: PBM StressMedicine AB Funding: KK-foundation, PBM StressMedicine AB, MdH, teknIQ 2001-present

4. An Application Programming Interface for Hardware and Software Threads Project members: Peter Nygren Lennart Lindh (supervisor)

5. Adaptive Intelligent Knowledge Management Project Leader: Peter Funk (MdH) Members: Robert Olofsson , Mikael Sollenborn, Elisabeth Hindsefelt

(Eyescream), Jan-Erik Lundström (Eyescream), Peter Ovrin (Eyescream)

Partners: Eyescream AB Funding: The KK - foundation, Eyescream AB 2000-_____

6. Adaptive User Interfaces using User Models and Clustering Techniques Project leader: Peter Funk (main supervisor) Members: Mikael Sollenborn (Ph.D. student), Björn Lisper (supervisor) Partners: Eyescream AB Funding: Eyescream AB, The KK-foundation;

7. APICS - A Process for Efficient and Effective Integration of Component Based Software Project Leader: Ivica Crnkovic Members: Ivica Crnkovic, Stig Larsson (Industrial Ph. Student), Fredrik

Ekdahl (Industrial advisor) Partners: ABB Funding: ABB, SSF (SAVE-IT) 2003-present

8. ARTIST – Advanced Real-time Systems, EU Network of Excellence, FP5 Projectleader: Gerhard Fohler

MRTC Final Report Appendix 13 Partners http://www.artist-embedded.org/Overview/ 2001-present

9. ARTIST – Advanced Real-time Systems, EU Network of Excellence, FP6 Projectleader: Gerhard Fohler Partners http://www.artist-embedded.org/FP6/Overview/ 2003-present

10. ASTERIX Project leader: Henrik Thane Members: Kristian Sandström, Björn Allvin Funding: MdH 1999-___

11. Bayesian Confidence Propagation Neural Network with Spiking Units Project leader: Anders Lansner, Royal Institute of Technology (KTH) Members: Baran Çürüklü (Ph.D. Student) Partners: KTH, SANS, NADA Funding: Internal 2000-_____

12. BETSY - BEing on Time Saves EnergY – EU IST Project Project leaders: Gerhard Fohler Members: Damir Isovic Partners IMEC, Belgium, University of Cyprus, Cyprus, C-LAB, Germany Universität Stuttgart, Germany, Industrial System Institute, Greece

Philips Research, Netherlands, Technische Universiteit Eindhoven, Netherlands, CSEM, Suisse

2004-present

13. CBM (Condition Based Maintenance, reliability and availability of technical systems) Members: Marcus Bengtsson (PhD student), Mats Jackson (main supervisor),

Peter Funk, assistant supervisor. Funding: ABB, Bombardier, UTEK, the knowledge foundation (KKS)

14. COMET - COMponent-based Embedded real-Time database system Project leaders: Christer Norström, MdH, Jörgen Hansson, LiU Members: Dag Nyström, Ph.D.-student, MdH, Aleksandra Tesanovic, Ph.D.-

student, LiU, Mikael Nolin, MdH Partners: Volvo Construction Equipment Components AB, Mimer Information Technology AB Funding: Artes; SAVE/SSF 2001-present

15. ComposeIT Project Leader: Ivica Crnkovic Members: Erik Gyllenswärd, Mladen Kap Partners: CompFab AB, Västerås Funding: KK-Foundation, CompFab AB 2000-_____


16. Computer Science Paradigms in Gender Research Perspective Project leader: Lena Trojer (Blekinge Institute of Technology) Members: Christina Björkman, Lena Trojer Partners: Blekinge Institute of Technologies Funding: VR, BTH 2003-present

17. COMSED - Communication for Small Embedded Devices Project leader: Mats Björkman Members: Jonas Neander, Adam Dunkels Partners: SICS Funding: CUGS, SICS and internal 2002-2005

18. Constraint Programming and Optimization for Industrial Applications Project leader: Per Kreuger (SICS/Kista) Members: Per Kreuger (SICS/Kista), Martin Aronsson (SICS/Kista), Björn

Lisper (MdH), Marcus Bohlin (SICS/Västerås), Waldemar Kocjan (SICS/Västerås)

Partners: SICS Funding: SICS (Ireco)

19. Data Field Haskell Project leader: Björn Lisper Members: Andreas Sjögren Partners: KTH Funding: Internal 1999-on hold

20. Debug Project leader: Henrik Thane Members: Daniel Sundmark, Henrik Thane, Joel G Huselius Partners: ABB Robotics AB, Saab Avionics AB, ENEA Real-time AB,

ZealCore Embedded Solutions AB 2002-on hold

21. Dimensional Analysis for Modelica Project leader: Kjell Post Members: Mikael Sandberg (Ph.D. student), Peter Fritzson, advisor,

Linköping University Partners: Linköping University Funding: MdH 1999- ____

22. Dimensional Inference in Strongly Typed Specification Languages Project leader: Björn Lisper Members: Mikael Sandberg (Ph.D. student) Partners: (Linköping University, Mathcore AB) Funding: Internal 2001-present


23. DRIVE – Distributed Real-time systems In Vehicles Project leader: Christer Norström, MdH Members: Joakim Fröberg, Industrial Ph.D.-student at Volvo CE

Components, Kristian Sandström Partners: Volvo CEC, Volvo Trucks, Volvo Busses Funding: Volvo CEC, the KK-foundation. 2000-present

24. EAST/EEA Project leader: Mikael Nolin, MdH Members: Hans Hansson, MdH, Martin Törngran, KTH, Jad El-Khoury,

KTH, De Jiu Chen, KTH, Ola Redell, KTH Partners: Volvo Technology Corporation, The SAVE project Funding: Volvo Technology Corporation via Vinnova

25. English Butler Leader: Björn Levin (SICS) Members: MdH/ISt (Erik Dahlqvist), and CSL (Peter Funk) 2003-present

26. ExAct, Intelligent Systems and Artificial Intelligence for industrial applications Project leader: Peter Funk. docent, IDt Members: Mats Jackson, professor IDP, Ning Xiong, Ph.D, Johnny

Holmberg, Ph.D, Markus Bengtsson, PhD student, MdH, IDP, Milun Milic, PhD student, ABB Automation, IDP, Erik Olsson, PhD student, ABB Automation, IDt, Sofi Elfving, PhD student, Mälardalen University, IDP, Anette Brannemo, PhD student, Volvo CEC, IDP, Anna Andersson, PhD student, Volvo CEC, IDP

Partners: PBM StressMedicine AB Funding: PBM StressMedicine AB, KK-foundation, Internal, teknIQ 2003-present

27. EvaluNet – Network Performance Evaluation Project leader: Mats Björkman Members: Andreas Johnsson, Bob Melander, Svante Ekelin Partners: SICS, Ericsson Research Funding: VINNOVA, Ericsson Research, SICS, Internal 2003-2005

28. EvaluNet II Project leader: Mats Björkman Members: Ewa Hansen, Andreas Johnsson, Bob Melander Partners: Gatorhole AB, Ericsson Research Funding: KKS, Ericsson Research, Gatorhole AB, Internal 2004-present

29. FABRIC- Federated Applications Based on Real-time Interacting Components Architecture for a ubiquitous computing platform – EU IST Project

Project leaders: Gerhard Fohler Members: Larisa Rizvanovic

MRTC Final Report Appendix 13 Partners Thomson Multimedia, France, INRIA, France, Technische

Universiteit Eindhoven, The Netherlands, Scuola Superiore S. Anna, Pisa, Italy, University College London, UK, TNO, The Netherlands

CSEM, Switzerland. 2002-2004

30. FIRST - Flexible Integrating Scheduling Technology – EU IST Project Project leaders: Gerhard Fohler Members: Radu Dobrin, Tomas Lennvall, Robert Johansson, Research

engineer Partners University of York , UK, Universidad de Cantabria Spain Scuola Superiore S. Anna Pisa, Italy 2002-2005

31. FLEXCON - flexibe controllers Project Leader: Karl-Erik Årzén Program director, Ivica Crnkovic, local project leader Members: Ivica Crnkovic, Johan Fredriksson, Partners: LTH Lund University, KTH - Royal Institute of Technology, HSV - Högskola Shövde Funding: SSF 2003-present

32. FLEXCON - Flexible Embedded Control Systems – SSF Project leaders: Gerhard Fohler Members: Damir Isovic Partners Lund Institute of Technology - Department of Computer Science DAMEK - Royal Institute of Technology DRTS Group - University of Skövde ABB Robotics and ABB Automation Product 2002-2005

33. Flexible Reliable Timing Constraints Funding: ARTES and MdH

34. Genetic Algorithm Theory Project leader: Jacek Malec, Lund University Members: Roger Jonsson (Ph.D. student), Björn Lisper (local advisor), Peter

Funk (local advisor) Funding: Internal (Volvo Research Foundation) 1999-present

35. Global Constraints in Constraint Programming and Local Search Project leader: Björn Lisper Members: Per Kreuger (SICS/Kista), Björn Lisper (MdH), Marcus Bohlin

(SICS/Västerås), Waldemar Kocjan (MdH) Partners: SICS Funding: SICS, internal 2003-present


36. Haxcel Project leader: Björn Lisper Members: Johan Malmström Funding: Internal 2002- on hold

37. HEAVE Project leader: Mikael Nolin, MdH Members: Anders Möller, MdH, CC-Systems, Joakim Fröberg, MdH, Volvo

Construction Equipment Partners: CC-Systems, Volvo Construction Equipment, SAVE project EAST/EEA project. Funding: KK-Foundation (KKS), CC-Systems, Volvo Construction

Equipment

38. High Level Languages for Hard and Embedded Real-Time Systems Project leader: Björn Lisper Members: Jan Carlson Funding: Internal, CUGS, (TFR, VR)

39. IMPLY - Intelligent Media Personalisation Leader: Peter Funk (MdH) Members: Peter Funk External: Mikael Sollenborn, Jan-Erik Lundström, Peter Ovrin Partners: Eyescream AB Funding: KK – foundation, teknIQ, VINNOVA 2001-finished

40. Incremental scheduling Funding: ARTES

41. Industrial IT Project leader: Ivica Crnkovic Members: Rikard Land (Ph.D. student), Kurt Wallnau (Industrial PhD

student) Partners: ABB, SEI/Carnegie Mellon University, University of Zagreb Lund University Funding: The KK-foundation, ABB 2001-present

42. Information Processing in V1 Project leader: Anders Lansner, Royal Institute of Technology (KTH) Members: Baran Çürüklü (Ph.D. Student), Björn Lisper (local supervisor) Peter Funk (second local supervisor) Partners: KTH, SANS, NADA Funding: CUGS (National Graduate School in Computer Science)

43. Layout and Function of the Intracortical Connections within the Primary Visual Cortex (A Canonical Model of the Primary Visual Cortex)

Project leader: Anders Lansner (KTH)

MRTC Final Report Appendix 13 Members: Baran Çürüklü (Ph.D. Student), Björn Lisper (local supervisor), Peter Funk (second local supervisor) Partners: KTH, SANS, NADA Funding: CUGS (National Graduate School in Computer Science) 2003-present

44. LESS BUGS Project leader: Henrik Thane Members: Daniel Sundmark, Anders Pettersson, Mathias Ekman Partners: Bombardier Transportation, Level Twenty One AB, Zealcore

Embedded Solutions AB Funding: KKS, Bombardier Transportation, Internal 2004-present

45. Light Weight Formal Methods and AI methods for System Analysis and Reuse Project leader: Peter Funk Members: Anton Massoud (technical expert, Ericsson UAB), Janet

Wennersten (technical expert, Ericsson UAB), Partners: Ericsson Development and Research AB Funding: Ericsson, MdH and the KK-foundation 1999-

46. Low Power Techniques for Real Time Operating Systems Project members: Raimo Haukilahti (Ph.D student), Lennart Lindh (advisor) Axel Jantsch (KTH, supervisor)

47. MAMon - Multiprocess Application Monitor Project members: Mohammed El Shobaki, Lennart Lindh (supervisor)

(Mladen Nikitovic, Leif Enblom)

48. MultEx Project leader: Mikael Nolin, MdH Members: Jukka Mäki-Turja, MdH, Kaj Hänninen, MdH Partners: Arcticus Systems, Volvo Technology Corporation Funding: MRTC 2003-present

49. Multiprocessor Data-Driven Real-Time Systems Project members Leif Enblom Lennart Lindh (supervisor)

50. Open Controllers Project leaders: Christer Norström Members: Goran Mustapic, Anders Wall, Peter Eriksson, ABB, Ingemar

Reyier, ABB, Johan Andersson, ABB Partners: ABB Automation Technologies AB, ABB Robotics Funding: ABB, ASTEC 2003-present

51. Parallel Execution of PLEX Programs Project leader: Björn Lisper

MRTC Final Report Appendix 13 Members: Johan Erikson (Ph.D. student), Jan Gustafsson (assistant

supervisor) Funding: Ericsson, Vinnova (ASTEC)

52. PICO - Philosophy of Information and Computing Project leader: Gordana Dodig-Crnkovic Members: Gordana Dodig-Crnkovic, Björn Lisper (main supervisor) Jan Gustafsson, Lars-Göran Johansson (external supervisor, UU)

(Jan Odelstad, University of Gävle) Funding: Internal KK-foundation 2002-present

53. Predictably flexible real-time systems Project leader: Gerhard Fohler Members: Damir Isovic, Tomas Lennvall, Björn Lindberg (until October ’99)

Jukka Mäki-Turja (until January ’00), Sasi Punnekkat (Spring ’99) Vladimir Sizikov

54. Prefetching techniques for improved performance and predictability in embedded multiprocessor systems

Project leader: Lars Asplund Members: Johan Stärner Funding: Internal

55. ProPlat Project leader: Ivica Crnkovic Members: Christina Wallin (Ph.D. student) Partners: ABB Funding: The KK-foundation, ABB 2001-_____;

56. PSI – Product Data Management and Software Configuration Management Project Leader: Ivica Crnkovic Members: Ivica Crnkovic, Annita Persson Dahlqvist (Industrial Ph. Student) Partners: Ericsson Funding: Ericsson, KKS (SAVE-IT) 2004-present

57. RATAD Reliability And Timing Analysis of Distributed systems Project leader: Hans Hansson Members: Thomas Nolte, Christer Norström, Ralf Elvsén, Sasikumar

Punnekkat Partners: ABB Automation, Datex-Ohmeda AB Funding: ARTES, Internal;

58. Real-time Architecture for Networked Multimedia Streaming systems – Mälardalen University’s personal grant for a graduate student

Project leaders: Gerhard Fohler Members: Larisa Rizvanovic 2004-present


59. Remodel Project leaders: Christer Norström Members: Johan Andersson, Anders Wall, Björn Lisper, Peter Eriksson, ABB Magnus Larsson, ABB Partners: ABB Funding: ASTEC, ABB 2003-present

60. Replacing Software with Hardware Project members: Stefan Sjöholm, Lennart Lindh (supervisor)

61. Response-time Calculations with Integer Linear Programming Methods Project Leader: Björn Lisper Members: Peter Mellgren Partners: TOM group, Dept of Mathematics and Physics, MdH 2000-_____

62. RobotComp Project Leader: Ivica Crnkovic Members: Goran Mustapic Partners: ABB Robotics Funding: KK-Foundation, ABB Robotics, Industrial IT

63. Safety Critical Systems for Embedded Systems Project leader: Lars Asplund

64. SALSART Funding: Volvo Research Foundation and MdH

65. SAVE Project leader: Hans Hansson Members: Mikel Nolin, Thomas Nolte, Henrik Thane, Joel Huselius Partners: LiU/RTSLAB (Jörgen Hansson/Simin Nadjim-Tehrani) KTH/DAMRK (Ola Redell/Martin Törngren) UU/UppAal (Paul Pettersson/Wang Yi) Funding: SSF 2002-2005

66. SAVE/ComponentModel Project leader: Kristian Sandström Members: Ivica Crnkovic, Johan Fredriksson, Mikael Åkerholm Partners: Save, Flexcon Funding: SSF 2001-present

67. Self-evolving Dependable Real-Time Systems Funding: Volvo Research Foundation and MdH

68. SoCrates - System on Chip for Real-Time Embedded Systems Leader: Lennart Lindh Members: Raimo Haukilahti, , Joakim Adomat, Johan Stärner

MRTC Final Report Appendix 13 1999-____

69. STINA - Standard Technologies in Industrial Applications Project leader: Ivica Crnkovic Members: Magnus Larsson (Industrial Ph.D. student), Frank Lüders

(Industrial Ph.D. student), Partners: ABB, CMU/SEI Funding: The KK-foundation, ABB 1999-present

70. System-on-Programmable-Chip Project members: Andreas Löfgren, Lennart Lindh (supervisor)

71. TATOO - Test and Testability of Distributed Real-Time Systems Project leader: Henrik Thane Members: Hans Hansson Partners: Datex-Ohmeda AB, Volvo Construction Equipment Components

AB, TietoEnator Teknik Mälardalen AB Funding: ARTES and MdH 1999-___

72. TESTit - Testing techniques for real-time systems Project leader: Hans Hansson Members: Markus Lindgren, Henrik Thane Funding: MdH

73. The Siblings Project Project leader: Rikard Lindell (Ivica Crnkovic) Members: Rikard Lindell, Jussi Karlgren (SICS), Ivica Crnkovic Peter Funk Partners: SICS Funding: Internal, IRECO

74. TIMERS - TIming analysis, Modeling and Evaluation of Real-time Systems Project leader: Christer Norström Members: Sasi Punnekkat, Kristian Sandström, Jukka Mäki-Turja, Hans

Hansson Partners: Volvo CEC, TietoEnator, DAMEK KTH (Martin Törngren) Funding: KK-foundation and MdH 1999-____

75. Tools for analysis of complex software systems: Leader: Peter Funk Members: Johan Erikson, Peter Funk, Björn Lisper, Jan Gustafsson External: Bo Lindell, Janet Wennersten (Ericsson AB), Ole Köller (Ericsson

AB) Partners: Ericsson Development and Research AB Funding: Ericsson, MRTC, KK-foundation 1998-finished;


76. Traffic Measurement and Analysis Project leader: Mats Björkman Members: Henrik Abrahamsson Partners: SICS Funding: VINNOVA, SICS, Internal 2003-present

77. Utilizing Hardware Parallelism to Optimise Cost and Performance for Real-Time Kernels Project members: Susanna Nordström, Lennart Lindh (advisor), Denny Åberg

(supervisor)

78. Validating Hardware Components Project members: Stefan Stjernen, Lennart Lindh (supervisor), Stefan Sjöholm

(advisor)

79. Warping - Wait and lock free synchronisation mechanisms Project leader: Hans Hansson Members: Björn Allvin Partners: Philippas Tsigas, Håkan Sundell, Marina Papatriantafilou at

Chalmers, Enea OSE Systems, Northern Real-Time Group Funding: ARTES and MdH 1999-____

80. Worst-case execution time analysis (WCET) Project leader: Björn Lisper Project members: Andreas Ermedahl, Jan Gustafsson, Christer Sandberg Partners: Uppsala University (ASTEC), IAR Systems AB, Enea ET, Volcano Communication Technologies, CC-Systems AB, Arcticus AB, AbsInt GmbH, Tidorum Oy. Funding: Swedish Research Council (VR), Vinnova (ASTEC), internal. 1999-present


A representative sample of publications 1. 3D Efficient collision detection for models deformed by morphing Thomas Larsson, Tomas Akenine-Möller (external) The Visual Computer, vol 19, nr 2-3, p164-174, Springer 2. A Tool Environment for the Development of Embedded systems Towards an Impact Analysis for Component Based Real-Time Product Line Architectures, Anders Wall, Magnus Larsson, Christer Norström, Euromicro Conferance on Component Based Software Engineering, September, 2002 3. AIM Clinical decision-support for diagnosing stress-related disorders by applying psychophysiological medical knowledge to an instance-based learning system, Markus Nilsson, Peter Funk, Erik M. G. Olsson (Dept. of Psychology, Uppsala University), Bo von Schéele (PBMStressMedicine AB), Artificial Intelligence in Medicine, Elsevier, November, 2005 4. An Application Programming Interface for Hardware and Software Threads Uniform Interprocess Communication interface for Hardware and, Peter Nygren, Lennart Lindh, International Workshop on Advanced Real-Time Operating System Services (ARTOSS), IEEE, Porto, Portugal, July, 2003 5. Adaptive Intelligent Knowledge Management 6. Adaptive User Interfaces using User Models and Clustering Techniques 7. APICS Case Study: Software Product Integration Practices, Stig Larsson, Ivica Crnkovic, Product Focused Software Process Improvement: 6th International Conference, PROFES 2005, Springer, Lecture Notes in Computer Science, Volume 3547 / 2005, Oulu, July, 2005 8. ARTIST Adaptive Real-time Systems (contribution), Gerhard Fohler, Embedded Systems Design - The ARTIST Roadmap for Research and Development, Springer, ISBN: 3-540-25107-3, Editor(s): Bouyssounouse, Bruno; Sifakis, Joseph, February, 2005 10. ASTERIX The Asterix Real-Time Kernel, Henrik Thane, Anders Pettersson, Daniel Sundmark, 13th EUROMICRO INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS, INDUSTRIAL SESSION, IEEE Computer Society, Technical University of Delft, Delft, The Netherla, June, 2001

1

http://www.mrtc.mdh.se/index.phtml?choice=publications&id=0551


http://www.mrtc.mdh.se/index.phtml?choice=staff&id=0006







mailto:[email protected]














11. Bayesian Confidence Propagation Neural Network with Spiking Units 12. BETSY Real-time issues of MPEG-2 playout in resource constrained systems, Damir Isovic, Gerhard Fohler, Liesbeth Steffens (external), International Journal of Embedded Systems, vol 1, issue 2, nr ISSN 1740-4460, Cambridge International Science Publishing, June, 2005 13. CBM 14. COMET Pessimistic Concurrency-Control and Versioning to Support Database Pointers in Real-Time Databases, Dag Nyström, Mikael Nolin, Aleksandra Tesanovic (external), Christer Norström, Jörgen Hansson (external), The 16th Euromicro Conference on Real-Time Systems, p 261-270, IEEE Computer Society, Catania, Sicily, Italy, June, 2004 15. ComposeIT Building Reliable Component-Based Software Systems, Ivica Crnkovic, Magnus Larsson, Artech House publisher, ISBN: ISBN 1-58053-327-2, 2002 16. Computer Science Paradigms in Gender Research Perspective Computer Science and its Paradigmatic Basis - Using Gender Research from Within to Transform Education, Christina Björkman, GASAT 10 Conference Contributions, Copenhagen, Denmark, July, 2001 17. COMSED Using Existing Infrastructure as Proxy Support for Sensor Networks, Jonas Neander, Mikael Nolin, Mats Björkman, 16th EUROMICRO Conference on Real-Time Systems (ECRTS 04), WiP, Catania, Italy, June, 2004 18. Constraint Programming and Optimization for Industrial Applications Filtering Methods for Symmetric Cardinality Constraint, Waldemar Kocjan, Per Kreuger (external), CPAIOR 2004 Conference Proceedings, p 200-208, Springer, Nice, Editor(s):Jean-Charles Regin and Michel Rueher, April, 2004

19. Data Field Haskell Development of Parallel Algorithms in Data Field Haskell Jonas Holmerin (external), Björn Lisper Proc. Euro-Par 2000, p 762-766, Springer-Verlag, Munich, Germany, Editor(s):Arndt Bode, Thomas Ludwig, Wolfgang Karl, and Roland Weismuller 20. Debug 21. Dimensional Analysis for Modelica

2


























Automatic Dimensional Consistency Checking for Simulation Specifications, Mikael Sandberg, Daniel Persson (external), Björn Lisper, SIMS 2003, p 6, Västerås, Editor(s):Erik Dahlqvist, September, 2003 22. Dimensional Inference in Strongly Typed Specification Languages Automatic Dimensional Consistency Checking for Simulation Specifications Mikael Sandberg, Daniel Persson (external), Björn Lisper SIMS 2003, p 6, Västerås, Editor(s):Erik Dahlqvist 23. DRIVE Business Situation Reflected in Automotive Electronic Architectures: Analysis of Four Commercial Cases, Joakim Fröberg, Kristian Sandström, Christer Norström, 2nd International ICSE workshop on Software Engineering for Automotive Systems, St. Louis, May, 2005 24. EAST/EEA FAR EAST: Modeling an Automotive Software Architecture Using the EAST ADL, H. Lönn (external), Tripti Saxena (external), Mikael Nolin, Martin Törngren (external), ICSE 2004 workshop on Software Engineering for Automotive Systems (SEAS), IEE, Edinburgh, May, 2004 25. Butler Fault Diagnosis of Industrial Robots using Acoustic Signals and Case-Based Reasoning, Erik Olsson, Peter Funk, Marcus Bengtsson (IDP), 7th European Conference on Case-Based Reasoning, p 686-701, Springer, Madrid, Editor(s):Peter Funk, Pedro Gonzalez, August, 2004 26. ExAct Experience Based Diagnostics and Condition Based Maintenance Within Production Systems, Peter Funk, Mats Jackson (IDP), COMADEM 2005, The 18th International Congress and Exhibition on Condition Monitoring and Diagnostic Engineering Management, p 7, United Kingdom, Editor(s):David Mba, August, 2005 27. EvaluNet A Study of Dispersion-based Measurement Methods in IEEE 802.11 Ad-hoc Networks, Andreas Johnsson, Mats Björkman, Bob Melander (external), the International Conference on Communication in Computing, Las Vegas, June, 2004 28. EvaluNet II Bandwidth Measurement in Wireless Networks, Andreas Johnsson, Bob Melander, Mats Björkman, Mediterranean Ad Hoc Networking Workshop, Porquerolles, France, June, 2005 29. FABRIC Resource Reservation and Service Contract, Liesbeth Steffens (external), Gerhard Fohler, Giuseppe Lipari (external), Giorgio Buttazzo (external), International Workshop on Advanced Real-Time Operating Systems Services (ARTOSS 2003), Porto, Portugal, July, 2003

3

















mailto:marcus.bengtsson_#_mdh.se



mailto:mats.jackson_#_mdh.se














30. FIRST Reducing the Number of Preemptions in Fixed Priority Scheduling, Radu Dobrin (former), Gerhard Fohler, 16th Euromicro Conference on Real-time Systems (ECRTS 04), Catania, Sicily, Italy, July, 2004 31. FLEXCON 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 32. FLEXCON Quality aware MPEG-2 stream adaptation in resource constrained systems, Damir Isovic, Gerhard Fohler, 16th Euromicro Conference on Real-time Systems (ECRTS 04), Catania, Sicily, Italy, July, 2004 33. Flexible Reliable Timing Constraints 34. Genetic Algorithm Theory Towards Computing the Parameters of the Simple Genetic Algorithm, Roger Jonsson, Conferance on Evolutionary Algorithms, Korea, June, 2001 35. Global Constraints in Constraint Programming and Local Search Improving Cost Calculations for Global Constraints in Local Search Markus Bohlin Principles and Practice of Constraint Programming, p 772, Springer, Ithaca, New York, USA, Editor(s):Pascal Van Hentenryck 36. Haxcel Haxcel: A Spreadsheet Interface to Haskell Björn Lisper, Johan Malmström (external) Proc. 14th International Workshop on the Implementation of Functional Languages, p 206-222, Madrid 37. HEAVE Evaluation of Component Technologies with Respect to Industrial Requirements, Anders Möller, Mikael Åkerholm, Johan Fredriksson, Mikael Nolin, Euromicro Conference, Component-Based Software Engineering Track, Rennes, France, August, 2004 38. High Level Languages for Hard and Embedded Real-Time Systems An Event Detection Algebra for Reactive Systems Jan Carlson, Björn Lisper Fourth ACM International Conference on Embedded Software (EMSOFT'04), p 147-154, ACM, New York, Pisa, Italy

4























39. IMPLY 40. Incremental scheduling Improved Handling of Soft Aperiodic Tasks in Offline Scheduled Real-Time Systems using Total Bandwidth Server, Gerhard Fohler, Tomas Lennvall (former), Giorgio Buttazzo (external), In 8th IEEE Int. Conf. on Emerging Technologies & Factory Automation, Nice, France, October, 2001 41. Industrial IT Automated Component-Based Software Engineering, Ivica Crnkovic, Heinz Schmidt (external), Judith Stafford, Kurt Wallnau, Journal of Systems and Software, vol Volume 74, nr 1, Elsevier, January, 2005 42. Information Processing in V1 43. Layout and Function of the Intracortical Connections within the Primary Visual Cortex A Model of the Summation Pools within the Layer 4 (Area 17) Baran Çürüklü, Anders Lansner (KTH) To be appear in the proceedings of the Computational Neuroscience Meeting, Elsevier, Baltimore, USA 44. LESS BUGS Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies, Daniel Sundmark, Henrik Thane, Joel G Huselius, Anders Pettersson, Proceedings of the 5th International Workshop on Algorithm Testing distributed real-time systems, Henrik Thane, Hans Hansson, Microprocessors and Microsystems, Elsevier, February, 2001 45. Light Weight Formal Methods and AI methods for System Analysis and Reuse http://www.mrtc.mdh.se/index.phtml?choice=publications&id=0722 46. Low Power Techniques for Real Time Operating Systems NoC application programming interfaces Z. Lu and R. Haukilahti. In A. Jantsch and H. Tenhunen, editors, Networks on Chip, chapter 12, pages 239-260. Kluwer Academic Publishers, February 2003. 47. MAMon On-Chip Monitoring of Single- and Multiprocessor Hardware Real-Time Operating Systems, Mohammed El Shobaki, Proceedings of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA), March, 2002 48. MultEx Fast and Tight Response-Times for Tasks with Offsets., Jukka Mäki-Turja, Mikael Nolin,

5




















http://www.wkap.nl/prod/b/1-4020-7392-5







17th EUROMICRO Conference on Real-Time Systems, p 10, IEEE, Palma de Mallorca Spain, July, 2005 49. Multiprocessor Data-Driven Real-Time Systems 50. Open Controllers Real World Influences on Software Architecture - Interviews with Industrial Experts, Goran Mustapic, Anders Wall, Christer Norström, Ivica Crnkovic, Kristian Sandström, Joakim Fröberg, Johan Andersson, IEEE Working Conferance on Software Architectures, Oslo, Norway, IEEE, Oslo, Editor(s):IEEE, June, 2004 51. PLEX Two Formal Semantics for PLEX Johan Erikson, Björn Lisper 3rd APPSEM II Workshop, APPSEM'05, Frauenchiemsee, Germany, 12 - 15 September, 2005 52. PICO Shifting the Paradigm of the Philosophy of Science: the Philosophy of Information and a New Renaissance, Gordana Dodig-Crnkovic, Minds and Machines: Special Issue on the Philosophy of Information, vol Volume 13, nr Issue 4, p521-536, Kluwer, November, 2003 53. Predictably flexible real-time systems Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints, Damir Isovic, Gerhard Fohler, Proc. of the 21st IEEE Real-Time Systems Symposium, Walt Disney World, Orlando, Florida, USA, November, 2000 54. Prefetching techniques for improved performance and predictability in embedded multiprocessor systems 55. ProPlat Workshop on Component-Based Software Engineering: Composing Systems from Components, Ivica Crnkovic, Stig Larsson, Judith Stafford (external), In ECBS 2002 Proceedings, IEEE, ACM, 2002 56. PSI Managing Complex Systems - Challanges for PDM and SCM, Annita Persson-Dahlqvist, Ivica Crnkovic, Magnus Larsson, Projects & Profits, vol IV-7, nr Rs 60, p36-42, ICFAI Press, Panjagutta, Indien, July, 2004 57. RATAD Integrating Reliability and Timing Analysis of CAN-based Systems, Hans Hansson, Thomas Nolte, Christer Norström, Sasikumar Punnekkat, IEEE Transactions on Industrial Electronics, vol 49, nr 6, p1240-1250, IEEE Industrial Electronics Society, December, 2002

6




























58. Real-time Architecture for Networked Multimedia Streaming systems The MATRIX: A QoS Framework for Streaming in Heterogeneous Systems, Larisa Rizvanovic, Gerhard Fohler, RTMM - International Workshop on Real-Time for Multimedia, Catania, Sicily, Italy, June 29, 2004, June, 2004 59. Remodel Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings, Johan Andersson, Anders Wall, Christer Norström, Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04), Paphos, Cyprus, October, 2004 60. Replacing Software with Hardware Analysis of replacing software-based systems with FPGA and acase study on a digital output IO-board, Stefan Sjöholm, Euromicro Symposium on Digital System Design, IEEE, Belek, Turkey., February, 2003 61. Response-time Calculations with Integer Linear Programming Methods Response-time Calculation and Priority Assignment with Integer Programming Methods Björn Lisper, Peter Mellgren (external) Proc. Work-in-progress and Industrial Sessions, 13th Euromicro Conference on Real-Time Systems, p 13-16, Delft, Editor(s):Eduardo Tovar and Christer Norström 62. RobotComp 63. Safety Critical Systems for Embedded Systems 64. SALSART A Framework for Composing Real-Time Schedulers, Giuseppe Lipari (external), Gerhard Fohler, International Workshop on Test and Analysis of Component Based Systems, Warsaw, Poland, April, 2003 65. SAVE Real-Time Server-Based Communication for CAN, Thomas Nolte, Mikael Nolin, Hans Hansson, IEEE Transactions on Industrial Informatics, vol 1, nr 3, p192-201, IEEE Industrial Electronics Society, August, 2005 Integrating Reliability and Timing Analysis of CAN-Based SystemsHans A. Hansson, Thomas Nolte,Christer Norström, and Sasikumar Punnekkat, 1240 IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOL. 49, NO. 6, DECEMBER 2002 SaveCCM – a component model for safety-critical real-time systems, Hans Hansson, Mikael Åkerholm, Ivica Crnkovic, Martin Törngren (external), Euromicro Conference, Special Session Component Models for Dependable Systems, IEEE, Rennes, France, September,

7



















http://www.mrtc.mdh.se/publications/0451.pdf








2004 66. SAVE/ComponentModel Towards a Dependable Component Technology for Embedded System Applications, Mikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin, 10th IEEE International Workshop on Object-Oriented Real-Time ependable Systems (WORDS 2005), IEEE, Sedona, Arizona, January, 2005 67. Self-evolving Dependable Real-Time Systems A Hybrid Proactive Approach for Integrating Off-line and On-line Real-Time Schedulers, Weirong Wang (external), Al Mok (external), Gerhard Fohler, Third International Conference on Embedded Software, Philadelphia, PA, USA, October, 2003 68. SoCrates 69. STINA Building Reliable Component-Based Software Systems, Ivica Crnkovic, Magnus Larsson, Artech House publisher, ISBN: ISBN 1-58053-327-2, 2002 70. System-on-Programmable-Chip An analysis of FPGA-based UDP/IP stack parallelism for embedded Ethernet connectivity, Stefan Löfgren, Stefan Sjöholm, Hans Hansson, NORCHIP 2005, October, 2005 71. TATOO Towards Systematic Testing of Distributed Real-Time Systems, Henrik Thane, Hans Hansson, Proc. 20th IEEE Real-Time Systems Symp., IEEE Computer Society Press, Phoenix, Arizona, December, 1999 72. TESTit Using Measurements to Derive the Worst-Case Execution Time, Markus Lindgren (external), Hans Hansson, Henrik Thane, Proceedings of RTCSA 2000, IEEE Computer Society, Cheju Island, South Korea, December, 2000 Deriving Reliability Estimates of Distributed Real-Time Systems, Markus Lindgren (external), Hans Hansson, Christer Norström, Sasikumar Punnekkat, Proceedings of RTCSA2000, IEEE Computer Society, Cheju Island, South Korea, December, 2000 73. The Siblings Project The Data Surface Interaction Paradigm, Rikard Lindell, Thomas Larsson, Theory and Practice in Computer Science, p 155-162, Eurographics Association, University of Kent, Canterbury, United Kingdom, Editor(s):Louise Lever, Mary McDerby, June, 2005 74. TIMERS

8






























Managing Complex Temporal Requirements in Real-Time Control Systems, Kristian Sandström, Christer Norström, 9th IEEE Conference on Engineering of Computer-Based Systems, IEEE, Sweden, April, 2002 75. Tools for analysis of complex software systems A Tool Concept for Execution Time Analysis of Legacy Systems Johan Erikson, Peter Funk, Jan Gustafsson, Björn Lisper Euromicro Real-Time Conference 2002, Work-in-Progress session, p 4 76. Traffic Measurement and Analysis 77. Utilizing Hardware Parallelism to Optimise Cost and Performance for Real-Time Kernels Application Specific Real-Time Microkernel in Hardware, Susanna Nordström, Lennart Lindh, 14th IEEE-NPSS Real Time Conference 2005, IEEE, Stockholm, June, 2005 78. Validating Hardware Components 79. Warping - Wait and lock free synchronisation mechanisms Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance, Andreas Ermedahl, Hans Hansson, M. Papatriantifilou (external), P. Tsigas (external), Proc. 5th International Conference on Real-Time Computing Systems and Applications (RTCSA'98), Hiroshima, Japan, October, 1998 80. WCET Clustered Worst-Case Execution- Time Calculation Andreas Ermedahl, Friedhelm Stappert (Siemens VDO Automotive AG, Germany), Jakob Engblom (Virtutech, Sweden) IEEE Transactions on Computers, vol 54, nr 9, p1104--1122

9













1

A list of Undergraduate Courses developed in the programme Name Level CreditsAlgoritmer och datastrukturer A 5Applikationsutveckling för mobil teknologi A 5Artificiell intelligens, fördjupning D 5Artificiell intelligens, gk B 5Avancerad komponentbaserad programvaruteknik D 5Avancerad routing B 5Avancerad switching och felsökning i nätverk B 5Avancerad webbutveckling B 5Component Based Software Engineering D 5Concurrency Theory and Time D 3Databaser B 5Datakommunikation B 5Datastrukturer och algoritmer, distanskurs A 5Datastrukturer, algoritmer och programkonstruktion A 5Datorarkitektur B 5Datorer i produkter A 5Datorgrafik gk C 5Datorgrafik, fk D 5Datornätverk för privat- och småföretagarbruk A 5Datornätverk, fk B 5Datornätverk, gk A 5Digitala medier A 5Distribuerad programvaruutveckling D 5Distribuerade System C 5Fallbaserat resonerande D 5Formella språk, automater och beräkningsteori B 5Forskningsmetodik inom dataområdet D 5Funktionell programmering B 5Grunderna i Unix A 5Grundläggande webbdesign A 5Hård- och mjukvarukonstruktion av inbyggda system D 5Imperativ programmering med C B 5Introduktion till datavetenskap A 5Introduktion till datorspelsutveckling A 5Introduktion till IT A 5Introduktion till mjukvaruprojekthantering C 4Introduktion till Robotik A 5Introduktion till spelutveckling och interaktion A 5Kompilatorteori gk C 5Komponentbaserade teknologier D 5Linux, gk A 5Logikprogrammering D 5Lärande system C 5Mekatronik III C 10Mikrodatorteknik B 5Mjukvaruutveckling för inbyggda system D 5Mjukvaruutveckling för tillförlitliga system D 5Människa/datorinteraktion B 5


2

Objektorienterad programmering, fk C 5Objektorienterad programmering, gk B 5Objektorienterad programutveckling med C++ B 5Operativsystem B 5Operativsystem fk C 3Parallella system D 5Professionell etik inom vetenskap och teknik D 5Programanalys - projektkurs D 5Programkonstruktion med C A 5Programmeringsteknik med C A 5Programmeringsteknik med Visual Basic A 5Programmeringsteknik, gk A 5Projekt i datateknik D 5Projekt i nätverksteknik C 5Reading course in multimedia systems D 5Reading Course in realtime and control D 5Realtidssystem gk C 5Realtidssystem gk, distans C 5Realtidssystem, fk D 5Remote Access B 5Research for Magister students D 3Robotik - projektkurs D 20Robotik - projektkurs D 10Software Engineering C 10Spelutveckling - projektkurs C 10Säkerhet i datornätverk B 5Tillämpad datorgrafik A 5Trådlösa nät B 5Unix - utvecklingsmiljö B 5Uppsats i introduktion till mjukvaruprojekthantering C 1

Final Report1 Mälardalen Real-Time Research Centre 1999 ... · A research profile supported by the Knowledge Foundation Contact: Hans Hansson Mälardalen Real-Time Research Centre

Documents