Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

HAMR: An AADL Multi-platform Code Generation Toolset

202124 citationsBook Chapter

Authors

John Hatcliff · Kansas State University

Jason Belt · Kansas State University

Robby · Kansas State University

Todd Carpenter · Adventium Labs (United States)

Topics & Keywords

Real-Time Systems Scheduling Advanced Software Engineering Methodologies Formal Methods in Verification

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-030-89159-6_18

Field-Weighted Citation Impact: 12.60

HAMR: An AADL Multi-platform Code Generation Toolset | Researchclopedia