Stephan Gorges,
Steffen Hesse
33rd Annual Meeting of the American Society for Precision Engineering (ASPE), 2018, 4-9 November 2018, Las Vegas, Nevada, USA
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…
