On all levels using both static and dynamic advanced verification technologies.
on effectively applying ASPICE , ISO26262 , MISRA standards in projects.
At software and system level Using:
– Informal specification.
– Semi-formal specification.
and
– Formal specification.
For safety ECUs compliant with AUTOSAR and UML standards
Using both model based with autocoding and handwritten code methods
Elementum Technologies is an independent organization, with the main focus on system and embedded software engineering in AUTOMOTIVE Industry and software tools development. Our capabilities cover a wide range of processes and activities, from requirements analysis, through architectural design, implementation and up to system and software verification.