Organization profile

Organisation profile

Tomorrow's consumer electronics, and electronic products in general, will have to meet increasing demands on user friendliness, flexibility, internal control functionality, low physical size and weight as well as low power consumption. To achieve these goals there is a need for combining compact electronic modules with complex software realization of most functionality. In particular, mobile and wireless communication products as well as medico-technical equipment contain increasingly amount of software. In addition, seamless network access will be taken for granted in the future.

The newly started Center for Embedded Software Systems, CISS, aims at strengthening industrial competence, research and education within the area of embedded software systems. Particular attention will be given to products and devices whose individual components must typically be able to communicate and cooperate with other systems over networks. The center is established at Aalborg University based on existing, internationally recognized research groups within the Institutes of Electronic Systems and Computer Science. All involved research groups have significant experience with industrially collaboration on utilization and development of technology. CISS will create a new commom environment, where engineers from industry and researchers from the university work on different multi-disciplinary and industrial relevant R&D projects with the purpose of increasing the maturity level of the current practice within software development for embedded systems.

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Model checking Engineering & Materials Science

Real time systems Engineering & Materials Science

Timed Automata Mathematics

Specifications Engineering & Materials Science

Controllers Engineering & Materials Science

Semantics Engineering & Materials Science

Transition Systems Mathematics

Scheduling Engineering & Materials Science

Network Dive into details by clicking on the dots.

Profiles

John Bjerregaard-Michelsen

jobm@cs.aau.dk

The Technical Faculty of IT and Design - Staff Member with University Degree
Department of Computer Science - Staff Member with University Degree
Distributed, Embedded and Intelligent Systems
CISS - Center for Embedded Software Systems - Staff Member with University Degree

Person: TAP

Andreas Berre Eriksen

andreasb@cs.aau.dk

The Technical Faculty of IT and Design - PhD Fellow
Department of Computer Science - PhD Fellow
CISS - Center for Embedded Software Systems - PhD Fellow

Person: VIP

Shyam Lal Karra

shyamlal@cs.aau.dk

The Technical Faculty of IT and Design - PhD Fellow
Department of Computer Science - PhD Fellow
Distributed, Embedded and Intelligent Systems
CISS - Center for Embedded Software Systems - PhD Fellow

Person: VIP

Projects 2002 2020

5 Active
72 Finished

Approximate Reasoning for Stochastic Markovian Systems

Mardare, R. & Larsen, K. G.

01/11/2015 → 31/10/2019

Project: Research

DiCyPS: Center for Data-Intensive Cyber-Physical Systems

Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B. & Guerrero, J. M.

01/01/2015 → 31/12/2020

Project: Research

TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security

Hansen, R. R., David, A., Hüttel, H. & Larsen, K. G.

FP7 ICT

01/11/2012 → …

Project: Research

Research Output 1993 2019

2 Citations (Scopus)

226 Downloads (Pure)

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Mar 2019, In : I E E E Transactions on Industrial Electronics. 66, 3, p. 2004 - 2014 11 p., 8368064.

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

Power converters

Model checking

Model predictive control

Power electronics

Degradation

A Real-time On-Chip Network Architecture for Mixed Criticality Aerospace Applications

Majumder, S., Schiøler, H., la Cour-Harbo, A., Bak, T. & Nielsen, J. F. D., 2019, (Submitted) In : The Aeronautical Journal.

Research output: Contribution to journal › Journal article › Research › peer-review

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., Jan 2019, In : Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

Research output: Contribution to journal › Journal article › Research › peer-review

Markov processes

Branching

Markov chain

Semantics

Linear Time

Prizes

Best Paper Award

Abdul Rauf Khan (Recipient), Henrik Schiøler (Recipient), Torben Knudsen (Recipient) & Murat Kulahci (Recipient), 2015

Prize: Prizes, scholarships, distinctions

Best Paper Award

Giovanni Bacci (Recipient), Kim Guldstrand Larsen (Recipient), Nicolas Markey (Recipient), Patricia Bouyer (Recipient), Uli Fahrenberg (Recipient) & Pierre-Alain Reynier (Recipient), 17 Jul 2018

Prize: Prizes, scholarships, distinctions

Controllers

Uncertainty