DPAC - Dependable Platforms for Autonomous systems and Control

The DPAC profile establishes a leading research profile targeting dependable platforms for autonomous systems and control, hosted at Mälardalen University in the Embedded Systems (ES) research environment. This will be accomplished through close collaboration and interaction between ES research groups at MDH and the participating industrial companies. The profile will leverage our solid track record of close cooperation to conduct excellent research, knowledge transfer, and support commercialization with industrial partners. DPAC shall create synergy effects between the partners and a significant increase in coproduction is to be expected.

The ultimate goal of the DPAC profile is to establish a nationally leading and internationally renowned research centre that facilitate close cooperation between academia and industry to achieve a significant increase in research and available knowhow on advanced dependable platforms for embedded systems. Embedded computer systems are nowadays incorporated in many kinds of products including many mission critical applications such as trains, autonomous utility vehicles, aviation, smart grid power management etc. These systems offer advanced functionality and serve an important role for the competitiveness of companies and the future national and global infrastructure. The scientific and technical results of DPAC will support future innovation by providing dependable platforms that can be used to efficiently realize dependable, reliable and safe electronically controlled products.

Four established research groups from MDH will in addition to the staff from companies provide the core competence thrust within DPAC. The research will be organized around three main research areas:

• Predictability and dependability in parallel architectures
• Autonomous systems and control
• Design methodologies

These combined competences give DPAC a unique opportunity to address system-wide research challenges that span several traditional research areas and wide industrial applications as well as forming a robust basis for the research in DPAC.

DPAC brings a wide industrial participation ranging from small-medium enterprises to large multinational corporations. The initial industrial partners are; ABB CRC, ABB Control Technologies, Alten, Arcticus Systems, Bombardier Transportation, BAP, Enea, Ericsson, Hök Instruments, Saab, Volvo Construction Equipment, and Volvo Group Trucks Technology. These companies represent the core of this proposal’s research target and will bring their unique competence and relevant use-cases to facilitate and strengthen the research within DPAC.

DPAC allows a unique opportunity for ES to focus established researchers and new recruits towards the area of dependable systems and platforms. This area is identified as key-area for future growth in both education and research, and where industrial support is already large and anticipated to grow further during the coming decade.

[Show all publications]

Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024)
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)

Mitigation Ontology for Analysis of Safety-Critical Systems (Jun 2024)
Nazakat Ali, Kristina Lundqvist, Kaj Hänninen
The 34th European Safety and Reliability Conference (ESREL'34)

Modeling and Verification of ROS Systems Using Stochastic Timed Automata (Jun 2024)
Peter Backeman, Cristina Seceleanu
MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2024)

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions (Jun 2024)
Rong Gu, Eduard Baranov , Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay , Kristina Lundqvist
ACM Transactions on Software Engineering and Methodology (TOSEM)

Beyond von Neumann in the Computing Continuum: Architectures, Applications, and Future Directions (May 2024)
Dragi Kimovski , Nishant Saurabh , Matthijs Jansen , Atakan Aral , Auday Al-Dulaimy, André B. Bondi , Antonino Galletta , Alessandro Papadopoulos, Alexandru Iosup , Radu Prodan
IEEE Internet Computing (IC 2024)

Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition (Feb 2024)
Fereidoun Moradi, Bahman Pourvatan , Sara Abbaspour, Marjan Sirjani
Journal of Parallel and Distributed Computing (JPDC 185)