Webinar Topic:
Tasked with the development and
integration of safety- relevant or mission-critical software? Need to
demonstrate compatibility with the target? Facing performance or memory
constraints? Need to select the right target CPU ?
In this webinar, we will
introduce the value of formal verification of target- dependent properties in a
model- based development flow, under the hard constraints of mission critical
and safety- relevant applications.
Highlights
Include:
-
Examining target -
integration issues faced by developers of safety- and mission- critical
applications.
-
Establishing formal methods
for development and verification of functionality and time and stack
usage.
-
Overcoming the challenges in
the prediction of WCET (worst- case execution time) and stack usage by
frontloading them to the early project phases.
-
Using an integrated, model-
based workflow including automatic code generation and static analysis of
code properties to drastically improve productivity while meeting
performance, quality and safety objectives.
Who Should
Attend
This webinar is intended
primarily for mission and safety-critical software developers and systems
integrators.