Todd Carpenter

dblp:76/1758 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
4since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 3 since 2021Systems, architecture and hardware · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author
YearPublicationVenuePosition
2025 Automated property-based testing from AADL component contracts
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
Int. J. Softw. Tools Technol. Transf.6
2023 Automated Property-Based Testing from AADL Component Contracts
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
FMICS6
2023 Model-driven development for the seL4 microkernel using the HAMR framework
Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod
J. Syst. Archit.6
2021 HAMR: An AADL Multi-platform Code Generation Toolset
John Hatcliff, Jason Belt, Robby, Todd Carpenter
ISoLA4
1994 ARINC 659 Scheduling: Problem Definition
abstract
Honeywell is completing integration of the new Boeing 777 integrated Airplane Information Management System (AIMS). AIMS functions range from hard real-time to non-real-time, include flight-critical and non-essential functions, and must all reside on the same distributed multiprocessor system. This system, based on Aeronautical Radio Inc's ARINC 659 specification, allows for high resource utilization while providing strict partitioning and provable performance via pre-scheduling of processing and communication resources. Such scheduling presents significant theoretical and practical problems. This paper describes these scheduling requirements with the intent of providing the research community with practical bounds for problem definition.>
Todd Carpenter, Kevin Driscoll 0001, Ken Hoyme, Jim Carciofini
RTSS1