Joe Seibel
Software Engineering Institute
Publications by Joe Seibel
-
Modeling, Verifying, and Generating Software for Distributed Cyber-Physical Systems using DMPL and AADL.
October 06, 2016 • Conference Paper
Sagar ChakiDionisio de NizJoe Seibel
This paper provides an end-to-end framework where DART systems can be designed, analyzed, and implemented within the same toolchain. In this talk, the authors present this toolchain and demonstrate it on a few representative examples.
read -
Resource Allocation in Dynamic Environments
October 01, 2012 • Technical Report
Jeffrey HansenScott HissamB. Craig Meyers
When warfighting missions are conducted in a dynamic environment, the allocation of resources needed for mission operation can change from moment to moment. This report addresses two challenges of resource allocation in dynamic environments: overstatement of resource needs and unpredictable network availability.
read -
What’s New in V2 of the Architecture Analysis & Design Language Standard?
March 01, 2012 • Special Report
Peter H. FeilerJoe SeibelLutz Wrage
This report provides an overview of changes and improvements to the Architecture Analysis & Design Language (AADL) standard for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems.
read -
Experimentation in the Use of Service Orientation in Resource-Constrained Environments
May 18, 2011 • Presentation
Joe SeibelDaniel PlakoshSoumya Simanta
This presentation from SATURN 2011 discusses work done in off-the-shelf SOA technologies in military environments.
read -
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
read