Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Dionisio de Niz
October 2017 - Presentation Certifiable Distributed Runtime Assurance

Authors: Dionisio de Niz

Presentation on research on the use of enforcers for runtime assurance in distributed systems

October 2017 - Poster Certifiable Distributed Runtime Assurance

Topics: Cyber-Physical Systems

Authors: Dionisio de Niz

Poster on research into the use of enforcers for runtime assurance of distributed systems

March 2017 - Presentation Temporal Partitioning and Verification in Distributed Cyber-Physical Systems

Topics: Cyber-Physical Systems

Authors: Dionisio de Niz, Bjorn Andersson

This presentation describes innovations in the temporal protection of components that perform computations throughout multiple processors and have end-to-end timing requirements.

January 2017 - Book Cyber-Physical Systems

Topics: Cyber-Physical Systems

Authors: Ragunathan (Raj) Rajkumar, Dionisio de Niz, Mark 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.

January 2017 - Conference Paper Certifiable Runtime Assurance of Distributed Real-Time Systems

Topics: Software Assurance

Authors: Sagar Chaki, Dionisio 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.

December 2016 - White Paper Cyber-Physical Systems

Topics: Cyber-Physical Systems

Authors: Björn Anderson, Sagar Chaki, Dionisio de Niz, Jeffrey Hansen, Scott Hissam, John J. Hudak, Mark H. Klein, David Kyle, Gabriel Moreno

Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.

November 2016 - Presentation 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

Topics: Process Improvement

Authors: Björn Anderson, Hyoseung Kim (Carnegie Mellon University), J. Lehoczky, Dionisio de Niz

This presentation was presented at the 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016).

November 2016 - Presentation Temporal Protection in Real-Time System

Authors: Dionisio de Niz

Dionisio de Niz delivered the keynote presentation “Temporal Protection in Real-Time Systems,” at the Brasilian Symposium on Computing Systems Engineering.

November 2016 - Presentation Verifying DART Systems

Authors: Sagar Chaki, Dionisio de Niz

This work is producing validated assurance techniques for distributed adaptive real-time (DART) systems

November 2016 - Presentation Auto-Active Verification of Software with Timers and Clocks

Authors: Sagar Chaki, Dionisio de Niz

Software that accesses the system clock is the key to real-time and cyber-physical systems

October 2016 - Conference Paper Contract-Based Verification of Timing Enforcers

Authors: Sagar Chaki, Dionisio 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.

October 2016 - Conference Paper Modeling, Verifying, and Generating Software for Distributed Cyber-Physical Systems using DMPL and AADL.

Topics: Cyber-Physical Systems

Authors: Sagar Chaki, Dionisio de Niz, Joe 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.

August 2016 - Technical Report Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks

Topics: Cyber-Physical Systems, Performance and Dependability

Authors: Junsung Kim, Björn Andersson (Carnegie Mellon University), Dionisio de Niz, Ragunathan (Raj) Rajkumar, Jian-Jia Chen, Wen-Hung Huang, Geoffrey Nelissen

This report describes schedulability analyses and proposes segment-fixed priority scheduling for self-suspending tasks.

November 2015 - Presentation Engineering High-Assurance Software for Distributed Adaptive Real-Time Systems

Authors: Mark H. Klein, Sagar Chaki, Dionisio de Niz

This presentation describes an evidence-based approach for producing high-assurance DART software involving multiple layers of the CPS stack.

October 2015 - Poster Verifying Distributed Adaptive Real-Time (DART) Systems Poster (SEI 2015 Research Review)

Authors: Sagar Chaki, Dionisio de Niz

This poster describes the authors' research efforts in verifying distributed adaptive real-time systems.

October 2015 - Presentation Verifying Distributed Adaptive Real-Time (DART) Systems

Authors: Sagar Chaki, Dionisio de Niz

This 2015 Research Review presentation describes the authors' research efforts in verifying distributed adaptive real-time systems.

April 2014 - Conference Paper Bounding Memory Interference Delay in COTS-Based Multicore Systems

Authors: Hyoseung Kim (Carnegie Mellon University), Dionisio de Niz, Bjorn Andersson, Mark H. Klein, Onur Mutlu, Ragunathan Rajkumar

This conference paper was presented at the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014).

August 2012 - Presentation An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors

Topics: Cyber-Physical Systems

Authors: Dionisio de Niz, Gabriel Moreno

Presents the Growing Minimum Frequency (GMF) algorithm for voltage and frequency scaling in uniform multiprocessors for real-time systems.

August 2012 - Technical Report Results of SEI Line-Funded Exploratory New Starts Projects

Authors: Len Bass, Rick Kazman, Edwin J. Morris, Brad Myers, William Nichols, Robert Nord, Ipek Ozkaya, Raghvinder Sangwan, Soumya Simanta, Ofer Strichman, Peppo Valetto, Nanette Brown, Gene Cahill, William Casey, Sagar Chaki, Cory Cohen, Dionisio de Niz, David French, Arie Gurfinkel

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.

June 2012 - Technical Report A Virtual Upgrade Validation Method for Software-Reliant Systems

Topics: Software Architecture

Authors: Dionisio de Niz, Peter H. Feiler, David P. Gluch, Lutz Wrage

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.

April 2012 - Presentation On Resource Overbooking in an Unmanned Aerial Vehicle

Authors: Dionisio de Niz, Lutz 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.

November 2009 - Technical Report System Architecture Virtual Integration: An Industrial Case Study

Topics: Performance and Dependability, Software Architecture

Authors: Peter H. Feiler, Jörgen Hansson (University of Skovde), Dionisio de Niz, Lutz Wrage

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.

December 2008 - Technical Report Results of SEI Independent Research and Development Projects (FY 2008)

Authors: Dionisio de Niz, Gabriel Moreno, Robert Nord, Ipek Ozkaya, Daniel Plakosh, Ragunathan Rajkumar, Lui R. Sha, Robert W. Stoddard, Kurt C. Wallnau, Charles B. Weinstock, Lutz Wrage, Sherman Eagles, Peter H. Feiler, John B. Goodenough, Jörgen Hansson, Paul Jones, Rick Kazman, Mark H. Klein, Insup Lee

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).

July 2008 - Technical Report Results of SEI Independent Research and Development Projects (FY 2007)

Topics: Acquisition Support, Software Architecture

Authors: Len Bass, Lui R. Sha, Dennis B. Smith, Kurt C. Wallnau, Jörgen Hansson (University of Skovde), John J. Hudak, Dionisio de Niz, Peter H. Feiler, Donald Firesmith, Mark H. Klein, Kostas Kontogiannis, Grace Lewis, Marin Litoiu (IBM Canada Ltd.), Stefan Schuster

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2007 (October 2006 through September 2007).

February 2008 - Special Report ASSIP Study of Real-Time Safety-Critical Embedded Software-Intensive System Engineering Practices

Topics: Performance and Dependability

Authors: Peter H. Feiler, Dionisio de Niz

This report presents findings of a study of RTSCE software-intensive systems issues and develop recommendations for effectively dealing with those issues.

December 2007 - White Paper Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL

Topics: Performance and Dependability

Authors: 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.