CISS - Center for Embedded Software Systems

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

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.

Projects 2002 2020

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 journalJournal articleResearchpeer-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 journalJournal articleResearchpeer-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 journalJournal articleResearchpeer-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

Honary Doctorate: for his contributions to Embedded Systems verification

Kim Guldstrand Larsen (Recipient), 27 Nov 2007

Prize: Prizes, scholarships, distinctions

Activities 2004 2018

AEOLUS: Control of Large Scale Off-Shore Wind-Farms

Thomas Bak (Lecturer)
20 Oct 2008

Activity: Talks and presentationsTalks and presentations in private or public companies

ARTIST2: Winterschool

Kim Guldstrand Larsen (Lecturer)
19 Feb 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Automatic Control

Thomas Bak (Lecturer)
15 Apr 2008

Activity: Talks and presentationsTalks and presentations in private or public companies

Press / Media

AAU-professor skal rådgive kinesisk premierminister om digitalisering

Kim Guldstrand Larsen

21/01/2019

19 items of media coverage

Press/Media: Press / Media

Investor går ind i kommunikation via kunstig intelligens

Andreas Berre Eriksen & Mathias Andersen

04/10/2018

10 items of media coverage

Press/Media: Press / Media

Dansk firma flytter indendørs-GPS fra modeltog til industrien

Henrik Schiøler

02/03/2018

2 items of media coverage

Press/Media: Press / Media