Skip to content

patrikja/autosar

Repository files navigation

autosar

A simplified model of programming in autosar

Contents

Directory Comment
ARSim/ Simulator (written in Haskell) + DSL examples + MATLAB interface
ARXML/ Translator from AUTOSAR XML to Haskell (in progress)
sem/ Semantics (in eprover syntax - similar to Prolog)
tptp/ FOL syntax for the semantics
paper/ Research paper draft about the AUTOSAR core calculus
doc/ documentation slides etc.
oldARSim/ Earlier version of the simulator (now in ARSim/)
mercury/
curry/

Dissemination

About

A simplified model of programming in autosar

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published