Dionisio de Niz
Software Engineering Institute
Publications by Dionisio de Niz
-
Maturing Assurance Contracts in Model-Based Engineering
November 11, 2022 • Presentation
Dionisio de Niz
This project uses mathematically sound formalisms internally to ensure users make their models analyzable.
read -
Preview of Maturing Assurance Contracts in Model-Based Engineering
November 07, 2022 • Video
Dionisio de Niz
This short video provides an introduction to a research topic presented at the SEI Research Review 2022.
watch -
Predictable Use of Multicore in the Army and Beyond
May 04, 2022 • Webinar
Björn AnderssonDionisio de Niz
In this webcast, SEI staff members Bjorn Andersson, PhD, Dionisio de Niz, PhD, and William Vance of the U.S. Army Combat Capabilities Development Command Aviation & Missile Center will discuss using real-time software on multicore processors.
watch -
Rapid Certifiable Trust
November 07, 2021 • Presentation
Dionisio de Niz
Rapid Certifiable Trust seeks to scale the use of formal verification to increase the speed of validation and, consequently, the speed of DoD capability fielding.
read -
Rapid Certifiable Trust
November 04, 2021 • Video
Dionisio de Niz
This short video provides an introduction to a research topic presented at the SEI Research Review 2021.
watch -
Architecting the Future of Software Engineering: A National Agenda for Software Engineering Research & Development
November 03, 2021 • Book
Anita CarletonMark H. KleinJohn E. Robert
The SEI led the community in creating this multi-year research and development vision and roadmap for engineering next-generation software-reliant systems.
read -
Poster - Rapid Certifiable Trust
November 04, 2020 • Poster
Dionisio de Niz
Rapid Certifiable Trust preserves cyber-physical system safety by verifying and protecting part of a system and enforcing constraints on unverified components.
read -
Rapid Certifiable Trust (video)
November 11, 2019 • Video
Dionisio de Niz
Watch SEI principal investigator Dr. Dionisio de Niz discuss research on verification techniques to reduce the deployment time of cyber-physical systems such as unmanned vehicles and aircraft, by reducing the overall development and assurance times.
watch -
Rapid Certifiable Trust
October 28, 2019 • Presentation
Dionisio de Niz
Rapid Certifiable Trust preserves cyber-physical system safety by verifying and protecting part of a system and enforcing constraints on unverified components.
read -
Rapid Certifiable Trust
October 28, 2019 • Poster
Dionisio de Niz
This poster describes investigation into formal methods to automatically validate new technologies for safety.
read -
Certifiable Distributed Runtime Assurance
October 23, 2018 • Poster
Dionisio de Niz
This poster describes the use of enforcers to assure the safety of distributed cyber-physical systems.
read -
Assuring Non-Deterministic Software-Based Systems
October 23, 2018 • Presentation
Dionisio de Niz
Research Review 2018 presentation on explainable AI and runtime assurance enforcer research
read -
Certifiable Distributed Runtime Assurance
October 30, 2017 • Presentation
Dionisio de Niz
Presentation on research on the use of enforcers for runtime assurance in distributed systems
read -
Certifiable Distributed Runtime Assurance
October 30, 2017 • Poster
Dionisio de Niz
Poster on research into the use of enforcers for runtime assurance of distributed systems
read -
Temporal Partitioning and Verification in Distributed Cyber-Physical Systems
March 23, 2017 • Presentation
Dionisio de NizBjorn Andersson
This presentation describes innovations in the temporal protection of components that perform computations throughout multiple processors and have end-to-end timing requirements.
read -
Cyber-Physical Systems
January 17, 2017 • Book
Ragunathan (Raj) RajkumarDionisio de NizMark H. Klein
This book addresses Cyber-Physical Systems (CPS) challenges and innovations, it describes the foundations that underlie CPS, and offers guiding principles for all levels.
read -
Certifiable Runtime Assurance of Distributed Real-Time Systems
January 13, 2017 • Conference Paper
Sagar ChakiDionisio de Niz
This paper presents two challenge problems guiding research on developing a provably correct approach for runtime assurance of distributed real-time embedded systems.
read -
Cyber-Physical Systems
December 01, 2016 • White Paper
Bjorn AnderssonSagar ChakiDionisio de Niz
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
read -
Deriving the Average-case Performance of Bandwidth-like Interfaces for Tasksets with Infinite Minimum Inter-Arrival Time, Equal Task Density, Uniformly Distributed Deadlines, and Infinite Number of Tasks
November 29, 2016 • Presentation
Bjorn AnderssonHyoseung Kim (Carnegie Mellon University)J. Lehoczky
This presentation was presented at the 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016).
read -
Temporal Protection in Real-Time System
November 17, 2016 • Presentation
Dionisio de Niz
Dionisio de Niz delivered the keynote presentation “Temporal Protection in Real-Time Systems,” at the Brasilian Symposium on Computing Systems Engineering.
read -
Verifying DART Systems
November 01, 2016 • Presentation
Sagar ChakiDionisio de Niz
This work is producing validated assurance techniques for distributed adaptive real-time (DART) systems
read -
Auto-Active Verification of Software with Timers and Clocks
November 01, 2016 • Presentation
Sagar ChakiDionisio de Niz
Software that accesses the system clock is the key to real-time and cyber-physical systems
read -
Contract-Based Verification of Timing Enforcers
October 07, 2016 • Conference Paper
Sagar ChakiDionisio de Niz
In this paper, the authors focus on proving the correctness of the budget enforcement that guarantees that no task τi executes beyond its W1 i. They present their approach and some preliminary results.
read -
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 -
Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks
August 18, 2016 • Technical Report
Junsung KimBjorn AnderssonDionisio de Niz
This report describes schedulability analyses and proposes segment-fixed priority scheduling for self-suspending tasks.
read -
Engineering High-Assurance Software for Distributed Adaptive Real-Time Systems
November 18, 2015 • Presentation
Mark H. KleinSagar ChakiDionisio de Niz
This presentation describes an evidence-based approach for producing high-assurance DART software involving multiple layers of the CPS stack.
read -
Verifying Distributed Adaptive Real-Time (DART) Systems Poster (SEI 2015 Research Review)
October 22, 2015 • Poster
Sagar ChakiDionisio de Niz
This poster describes the authors' research efforts in verifying distributed adaptive real-time systems.
read -
Verifying Distributed Adaptive Real-Time (DART) Systems
October 16, 2015 • Presentation
Sagar ChakiDionisio de Niz
This 2015 Research Review presentation describes the authors' research efforts in verifying distributed adaptive real-time systems.
read -
An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors
August 29, 2012 • Presentation
Dionisio de NizGabriel Moreno
Presents the Growing Minimum Frequency (GMF) algorithm for voltage and frequency scaling in uniform multiprocessors for real-time systems.
read -
Results of SEI Line-Funded Exploratory New Starts Projects
August 01, 2012 • Technical Report
Len BassRick KazmanEdwin J. Morris
This report describes the line-funded exploratory new starts (LENS) projects that were undertaken during fiscal year 2011. For each project, the report presents a brief description and a recounting of the research that was done, as well as a synopsis of the results of the project.
read -
A Virtual Upgrade Validation Method for Software-Reliant Systems
June 01, 2012 • Technical Report
Dionisio de NizPeter H. FeilerDavid P. Gluch
This report presents the Virtual Upgrade Validation (VUV) method, an approach that uses architecture-centric, model-based analysis to identify system-level problems early in the upgrade process to complement established test qualification techniques.
read -
On Resource Overbooking in an Unmanned Aerial Vehicle
April 18, 2012 • Presentation
Dionisio de NizLutz Wrage
Studies variations in execution times involving a scenario in a small Unmanned Aerial Vehicle (UAV) systemwith a camera that must detect objects in a variety of conditions.
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 -
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems
March 26, 2010 • Conference Paper
Julien Delange (TELECOM ParisTech)Laurent Pautet (TELECOM ParisTech)Jerome Hugues (Universite de Toulouse, ISAE)
This paper proposes a process based on model-driven engineering to create distributed real-time embedded systems without manual coding using the AADL toolchain.
read -
Results of SEI Independent Research and Development Projects (FY 2009)
December 01, 2009 • Technical Report
Len BassLutz WragePaul C. Clements
In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.
read -
System Architecture Virtual Integration: An Industrial Case Study
November 01, 2009 • Technical Report
Peter H. FeilerJörgen Hansson (University of Skovde)Dionisio de Niz
This report introduces key concepts of the SAVI paradigm and discusses the series of development scenarios used in a POC demonstration to illustrate the feasibility of improving the quality of software-intensive aircraft systems.
read -
Verification of Replication Architectures in AADL
June 04, 2009 • Conference Paper
Dionisio de NizPeter H. Feiler
This paper presents an approach to model replication patterns in the Architecture Analysis and Design Language (AADL) and analyze potentially unintended behaviors.
read -
Results of SEI Independent Research and Development Projects (FY 2008)
December 01, 2008 • Technical Report
Dionisio de NizGabriel MorenoRobert Nord
This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).
read -
Results of SEI Independent Research and Development Projects (FY 2007)
July 01, 2008 • Technical Report
Len BassLui R. ShaDennis B. Smith
This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2007 (October 2006 through September 2007).
read -
ASSIP Study of Real-Time Safety-Critical Embedded Software-Intensive System Engineering Practices
February 01, 2008 • Special Report
Peter H. FeilerDionisio de Niz
This report presents findings of a study of RTSCE software-intensive systems issues and develop recommendations for effectively dealing with those issues.
read -
Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL
December 01, 2007 • White Paper
Dionisio de Niz
The tools compared in this discussion, the Unified Modeling Language (UML) and the Architecture Analysis and Design Language (AADL), facilitate the modeling of software architecture and provide elements to understand it.
read