Georg Gläser,
Benjamin Saft
Dominik Wrana
Arthanasios Gatzastras
Eckhard Hennig
2018 Forum on Specification & Design Languages (FDL), Garching, 10-12 September 2018, pp. 5-16.
DOI: https://doi.org/10.1109/FDL.2018.8524131
2015 Jahresbericht | Fachartikel ANCONA (en/de)
ANCONA Computer-aided verification methods – fresh impetus for Industry 4.0 developments IMMS is at work on ways of automatically extending models of mixed Objectives analogue-and-digital circuits at system level so as to identify critical scenarios. FPGAs such as the Virtex7 demo board shown here are 16 At the basis of all the smart systems which can function as part of the Internet of Things and of all the high performance applications needed in Industry 4.0 lies the technology contained in complex, highly integrated micro-electronic…
Annual Report 2017
ANNUAL REPORT 2017 Inhalt Contents 2 3 Foreword > fast realtime 5 IMMS’ contributions to Industry 4.0, Life Sciences and Energy Efficiency > ANCONA 8 Working hand in hand with the Technische Universität Ilmenau > INSPECT 11 Encouragement of young academics at IMMS > ADMONT 18 Voices from project partners > PTB > in-ovo 23 Research subject CPS: Energy-efficient and energy-autonomous cyber-physical systems 25 Highlights of 2017 in our CPS research > Contents * Funding 43 fast realtime – monitoring freight trains in real time 52 ANCONA – Mixed methods…
Jahresbericht 2017
JAHRESBERICHT 2017 Inhalt Inhalt 2 > fast realtime 3 Vorwort > ANCONA 5 Beiträge des IMMS zu Industrie 4.0, Life Sciences und Energieeffizienz > INSPECT 8 Kooperation mit der Technischen Universität Ilmenau > ADMONT 11 Nachwuchsförderung am IMMS verbindet Theorie und Praxis > PTB 18 Stimmen von Projektpartnern aus Wissenschaft und Wirtschaft > in-ovo 23 Forschungsthema CPS: Energieeffiziente und energieautarke cyber-physische > Inhalt Systeme * Förderung 25 Highlights im Bereich CPS 43 fast realtime –…
