bionoption.blogg.se - System designer contract

#System designer contract verification
#System designer contract software

Modal interfaces: Unifying interface automata and modal specifications.

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, and Roberto Passerone.

Stochastic differential dynamic logic for stochastic hybrid programs. A contract-based methodology for aircraft electric power system design.

Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B.

Methodology for the design of analog integrated interfaces using contracts.

Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Xuening Sun, and Alberto Puggelli.

A platform-based design methodology with contracts and related tools for the design of cyber-physical systems.

Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, and Tiziano Villa.

CHASE: Contract-based requirement engineering for cyber-physical system design.

Pierluigi Nuzzo, Michele Lora, Yishai Feldman, and A.

Convex approximations of chance constrained programs.

Arkadi Nemirovski and Alexander Shapiro.

Applying “design by contract.” Computer 25, 10 (Oct. In Formal Modeling and Analysis of Timed Systems. Monitoring temporal properties of continuous signals. Optimal load management system for aircraft electric power distribution.

Mehdi Maasoumy, Pierluigi Nuzzo, Forrest Iandola, Maryam Kamgarpour, Alberto Sangiovanni-Vincentelli, and Claire Tomlin.

YALMIP: A toolbox for modeling and optimization in MATLAB. Stochastic contracts for cyber-physical system design under probabilistic requirements.

Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yugeng Xi, and Dewei Li.

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science), Vol.

#System designer contract verification

Assume-guarantee verification for probabilistic systems. Marta Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu.Comput.-Aided Verification (Lecture Notes in Computer Science), G. PRISM 4.0: Verification of probabilistic real-time systems. Marta Kwiatkowska, Gethin Norman, and David Parker.

#System designer contract software

In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM’07) (Lecture Notes in Computer Science), M. Library-based scalable refinement checking for contract-based design. Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, and Alberto L.Signal-dependent noise determines motor planning. A logic for reasoning about time and reliability. Probabilistic contracts for component-based design. Diagnosis and repair for synthesis from signal temporal logic specifications. Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S.Shrinking horizon model predictive control with chance-constrained signal temporal logic specifications. Remote stabilization over fading channels.

APAC: A tool for reasoning about abstract probabilistic automata. Workshop Verification, Model Checking, and Abstract Interpretation. Pedersen, Falak Sher, and Andrzej Wąsowski. Benoît Delahaye, Joost-Pieter Katoen, Kim G.Application of Concurrency to System Design. Probabilistic contracts: A compositional reasoning methodology for the design of stochastic systems. Benoît Delahaye, Benoît Caillaud, and Axel Legay.Mode-independent filters for Markovian jump linear systems. de Souza, Alexandre Trofino, and Karina A. ACM Transactions on Programming Languages and Systems (TOPLAS) 8, 2 (1986), 244-263. Automatic verification of finite-state concurrent systems using temporal logic specifications. Contracts-refinement proof system for component-based embedded systems. Alessandro Cimatti and Stefano Tonetta.Compositional design methodology with constraint Markov chains. Benoît Caillaud, Benoît Delahaye, Kim G.Stephen Bradley, Arnoldo Hax, and Thomas Magnanti.Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, and Kim Guldstrand Larsen.Springer-Verlag, Berlin, Germany, 200-225. In Formal Methods for Components and Objects. Multiple viewpoint contract-based specification and design. Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, and Christos Sofronis.Control of systems integrating logic, dynamics, and constraints. Mixed integer programming: Analyzing 12 years of progress. Tobias Achterberg and Roland Wunderling.

Stochastic Contract-based Analysis and Synthesis.