HAMR: An AADL Multi-platform Code Generation Toolset
John Hatcliff, Jason Belt, Robby, Todd Carpenter
Topics & Concepts
Computer scienceSoftware engineeringArchitecture description languageComponent (thermodynamics)Software architectureArchitectureEmbedded systemProgramming languageOperating systemReference architectureSoftwareVisual artsThermodynamicsArtPhysicsReal-Time Systems SchedulingAdvanced Software Engineering MethodologiesFormal Methods in Verification