Oplæg fra InfinIT-seminar om Tidskritisk indlejret software og udviklingsværktøjer maj 2018

1. Velkommen til Workshop om
Status på dansk indlejret
tidskritisk software
Bent Thomsen
Institut for Datalogi

2. Baggrund
• InfinIT mini-projekt: Status på Dansk indlejret tidskritisk software
• Formål:
• En kvalitativ og kvantitativ analyse af state-of-the-art i udviklingen af tidskritiske indlejrede
systemer i dansk industri, med henblik på en målrettet ansøgning til industriens fond om et
projekt der tilpasser og udvikler metoder og værktøjer der passer til danske industri behov for et
markant kvalitetsløft i udviklingen af tidskritisk indlejret software.
• Deltagere:
• CISS, Aalborg Universitet: Bent Thomsen (projektleder), Ulrik Nyman, Kim G. Larsen, Peter Axel
Nielsen, Anders Bruun, John Persson, Thomas Bøgholm
• VIA indlejret Engineering, VIA University College: Ib Havn, Stephan Korsholm, Christian Flinker
Sandbeck, Hans Søndergaard
• Cobham: Stefan Pielmeier
• GomSpace ApS: Kristian Bay
• Techno-Matic: Knud M Sørensen
• Intelligent Systems A/S: Mads Kronborg Agesen
• Seluxit ApS: Daniel Lux

3. Hvad er de største udfordring I som virksomhed
har i forhold til:
• Quality assurance
o Test
o Udviklingsprocess
§ Har I en formaliseret proces?
§ Følger I den?
o Versions control
• Requirements management
o Specification / Backlog
o Change management
o Documentation
• Sub-Contractor Management
o Hvem får vi det fra?
o Hvordan sikres kvalitet fra underlevenrandører
o Integration af software
• Har I andre udfordringer der ikke er på listen?

4. Liste af emner:
• Types of applications
• Er jeres software Sikkerhedskritisk?
• Kræves der Realtidsegenskaber af jeres software?
o Hard
o Firm (Oftest video og lyd)
o Soft
• Hardware - Hvilken type af embedded hardware udvikler I til?
• Raspberry pi
• Arduino
• Beagle board
• Arm
• Custom boards
• Andet?
•
• OS - Hvilket operativsystem anvender I?
• Bare metal
• RTOS Open source
• LINUX
• Windows IoT
• ROS robot os
• Andet: hvilken?
• Biblioteker - Benytter i eksterne libraries? Er de målrettet til realtidssystemer?
• Eksempler:
o https://sourceforge.net/projects/avrfix/
o https://sourceforge.net/projects/fixedptc/
• Hvilke andre:
•
• Program struktur - Hvordan strukturerer i jeres embedded software?
• Opdeling i tasks
• Opdelt i funktioner
• Scheduler
o (i OS)
o Cyclic executive
o Hjemmelavet scheduler
• Andet:?
•
• WCET Schedulability - Hvordan analyserer i køretiden for jeres software?
• Analyse
• Målt
• Begge dele
• Andet?

5. Liste af emner:
• IDE - hvilken udviklingsomgivelse bruger i?
• Eclipse
• Netbeans
• IAR
• Vim
• VisualStudio
• Andet?
•
• Sprog - hvilke sprog skriver I jeres software i?
• C
• C++
• Java
• Python
• Matlab
• LabView
• Andet:
•
• Compiler:
• Gcc
• Javac
• Andet?
• Versionsstyring - hvilket værktøj anvender i til versionsstyring?
• Git
• Subversion (svn)
• CVS
• BitKeeper
• ClearCase
• Andet:
•
• Test - Hvilke typer af test anvender i?
• Unit Testing (Hvilket framework?)
• Coverage tool
• HW Testing
o Simulering
o Testing on target
• Integrationstest
• System test
•
• Quality assurance - hvilke andre former for quality assurance værktøjer og metoder benytter I ud over
test:
• Code review
• Bug tracking værktøjer
• Andet: ?

6. Liste af emner:
• Statisk analyse
• Linter/statisk kode analyse
• Kode standard med tilhørende checker?
o MISRA
o CERT
• AUTOSAR
• Andet
•
• Safety standard - Udvikler I efter en software sikkerheds (safety) standard?
• SIL niveau (kommer fra ISO26262 og IEC61508)
• ISO26262 - Car software
• IEC61508 - Industrial machinery
• EN50128 - Railway software
• DO178B/C - Airborne software
• Andet?
•
• Security framework - Følger i procedurer fra et sikkerheds (security) framework?
• ISO2700X
• OWASP SAMM
• Andet: ?
• SW process - hvilken udviklingsmetode anvender I?
• Waterfall
• Stage gate
• Iterativ
• Agil
• SCRUM
• Andet: ?
•
• Requirement specification - hvordan styrer I krav?
• Krav dokument
• Formel model
• Krav database
• Mundtligt
• Andet:?
•
• Modeller - benytter I nogle modeleringsformalismer?
• SYSml
• UML
• AADL - http://www.aadl.info/aadl/currentsite/
• https://www.modelica.org/
• http://www.omg.org/omgmarte/
• https://se.mathworks.com/products/stateflow.html
• Uppaal
• Andet: ?
Projektledelse
- PRINCE2
- SCRUM
- Andet: ?

7. Det videre forløb
• Interviews med deltager virksomheder (on site)
• Spørgeskema undersøgelse (vha. Epinion eller Jysk Analyse)
• Workshop (i efteråret)
• Endelig rapport

8. Fremtiden for dansk indlejret tidskritisk
software
• Hvor ser I udviklingen går hen?
• The Soon-to-Be-Extinct Embedded Software Engineer
• https://www.designnews.com/design-hardware-software/soon-be-extinct-
embedded-software-engineer/39152617858743
• IoT is causing a demand for embedded software engineers that has not yet been
seen in recent history
• We can’t train enough embedded software engineers
• Instead, rely on application developers, who have experience with Windows
applications or mobile devices, to develop their real-time embedded software
• microcontroller manufacturers are currently in a big push to provide developers with
high-level software frameworks and tools that abstract out the low-level hardware