Organisationsprofil

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 Fingerprint er automatisk genererede koncepter, som relaterer til enhedens profil, samt indholdet i de tilknyttede personprofiler. Det opdateres løbende med tilføjelsen af nye registreringer.

Model checking Teknik og materialevidenskab

Real time systems Teknik og materialevidenskab

Timed Automata Matematik

Controllers Teknik og materialevidenskab

Specifications Teknik og materialevidenskab

Semantics Teknik og materialevidenskab

Transition Systems Matematik

Scheduling Teknik og materialevidenskab

Netværk Klik på punkterne for at se detaljerne.

Profiler

John Bjerregaard-Michelsen

jobm@cs.aau.dk

Det Tekniske Fakultet for IT og Design - Akademisk medarbejder
Institut for Datalogi - Akademisk medarbejder
Distributed, Embedded and Intelligent Systems
CISS - Center for Embedded Software Systems - Akademisk medarbejder

Person: TAP

Susan Kragelund Kristensen

skk@es.aau.dk

Det Tekniske Fakultet for IT og Design - Specialkonsulent
Institut for Elektroniske Systemer - Specialkonsulent
CISS - Center for Embedded Software Systems

Person: TAP

Kim Guldstrand Larsen

kgl@cs.aau.dk

Det Tekniske Fakultet for IT og Design - Professor
Institut for Datalogi - Professor
Distributed, Embedded and Intelligent Systems
CISS - Center for Embedded Software Systems

Person: VIP

Projekter 2002 2021

5 Aktiv
72 Afsluttet

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.

Det Frie Forskningsråd | Teknologi og Produktion

01/08/2017 → 31/07/2021

Projekter: Projekt › Andet

Approximate Reasoning for Stochastic Markovian Systems

Mardare, R. & Larsen, K. G.

01/11/2015 → 31/10/2019

Projekter: Projekt › Forskning

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

Projekter: Projekt › Forskning

Publikationer 1993 2020

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. (red.). Springer, s. 174-191 18 s. (Lecture Notes in Electrical Engineering, Bind 495).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Manipulators

Kinematics

Robots

Feedback linearization

Actuators

4 Citationer (Scopus)

310 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, I : I E E E Transactions on Industrial Electronics. 66, 3, s. 2004 - 2014 11 s., 8368064.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

Power converters

Model checking

Model predictive control

Power electronics

Degradation

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

Majumder, S., Schiøler, H., la Cour-Harbo, A., Bak, T. & Nielsen, J. F. D., 13 aug. 2019, I : The Aeronautical Journal.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Network architecture

Communication systems

Sampling

Bandwidth

Avionics

Priser

Best Paper Award

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

Pris: Konferencepriser

Controllers

Uncertainty