Sam Procter

Month: July 2015

  • Error Type Refinement for Assurance of Families of Platform-Based Systems

    —

    by

    Sam
    in

    Last time I wrote about my work, I mentioned that we were using the architectural modeling language AADL to describe a particular type of distributed, compositional medical applications called Medical Application Platform (MAP) apps. One neat aspect of AADL is that the core language — which describes hardware and software architectures — can be extended…