Slide 1 Modeling SPARK Systems with UML Xavier Sautejeau SigAda’05 © Sodius Slide 2 2 Contents Rationale Mapping Overview Tool support Conclusion Slide 3 3 Rationale SPARK…