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 consists of concepts related to the research profile of the unit and associated persons. It is updated automatically, when new content is added.

Model checking Engineering & Materials Science

Real time systems Engineering & Materials Science

Controllers Engineering & Materials Science

Timed Automata Mathematics

Specifications Engineering & Materials Science

Transition Systems Mathematics

Semantics Engineering & Materials Science

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

Susan Kragelund Kristensen

skk@es.aau.dk

The Technical Faculty of IT and Design - !!Chefkonsulent med personaleledelse
Department of Electronic Systems - !!Chefkonsulent med personaleledelse
CISS - Center for Embedded Software Systems

Person: TAP

Kim Guldstrand Larsen

kgl@cs.aau.dk

Person: VIP

Projects 2002 2023

5 Active
73 Finished

FED: Flexible Energy Denmark

Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.

01/04/2019 → 31/03/2023

Project: Research

Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A. B. E., Boudjadar, J. & Kim, J. H.

Independent Research Fund Denmark | Technology and Production sciences

01/08/2017 → 31/07/2021

Project: Other

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

Research Output 1989 2020

78 Downloads (Pure)

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 Jan 2020, Distributed Simulation and Real-Time Applications. IEEE Press, p. 1-10 10 p.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access

File

Scheduling

Impedance Control and Force Estimation of a Redundant Parallel Kinematic Manipulator

Mendez, J. D. D. F., Schiøler, H., Madsen, O. & Bai, S., 1 Jan 2020, Informatics in Control, Automation and Robotics : 14th International Conference, ICINCO 2017 Madrid, Spain, July 26-28, 2017 Revised Selected Papers. Madani, K. & Gusikhin, O. (eds.). Springer, p. 174-191 18 p. (Lecture Notes in Electrical Engineering, Vol. 495).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Manipulators

Kinematics

Robots

Feedback linearization

Actuators

Markovian Performance Model for Token Bucket Filter with Fixed and Varying Packet Sizes

Schiøler, H., Leth, J-J. & Majumder, S., 2020, (Submitted) In : IEEE/ACM Transactions on Networking.

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

Prizes

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: Conference prizes

Controllers

Uncertainty