C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2

Source URL: publish.illinois.edu

• Systems theory
• Differential equations
• Metaphysics
• Control theory
• Hybrid system
• Mathematical analysis
• Dynamical system
• Mathematics
• Symbol
• Hybrid automaton

Form Methods Syst DesDOI Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification Paolo Zuliani · Andr´

Source URL: symbolaris.com

web news upcoming events calendar highlights / May–November 2015

Source URL: www.adacore.com

• Ada
• SPARK
• GNAT
• Robert Dewar
• CodePeer
• A Sharp
• Act
• Computer programming
• Simulink
• Stateflow
• Static program analysis
• Design by contract

Protokoll-Engineering und HDL Generierung mittels einer MATLAB/Simulink Stateflow Modellierung Alexander Biendarra1, Carsten Pieper1, Robert Lindner2 1 Fraunhofer IOSB-INA

Source URL: www.hs-owl.de

5. Jahreskolloquium Kommunikation in der Automation KommA 2014 Protokoll-Engineering und HDL Generierung mittels einer MATLAB/Simulink Stateflow

Source URL: www.hs-owl.de

Model-based Development of a Dual-Clutch Transmission using Rapid Prototyping and SiL Holger Brückmann, Jochen Strenkert, Dr. Uwe Keller, EP/MAG, Daimler AG Benno Wiesner-Tittes, Dr. Andreas Junghanns, QTronic GmbH July

Source URL: www.qtronic.de

• Technology
• Simulation software
• Dual clutch transmission
• Simulink
• TargetLink
• Prototype
• Rapid prototyping
• Stateflow
• Visual programming languages
• Software
• Application software

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models Rajeev Alur Aditya Kanade

Source URL: www.cis.upenn.edu

Wind Power Technology Advanced Wind Turbine Controller, AWC series Applicable for offshore or near-shore environments Unrivalled robustness – 5-year warranty Open programming in ANSI C/C++ and IEC61131-3

Source URL: www.deifwindpower.com

• Application software
• Simulation software
• Wind turbines
• Cross-platform software
• Numerical software
• Simulink
• SCADA
• Stateflow
• MATLAB
• Software
• Computing
• Visual programming languages

A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania

Source URL: www.seas.upenn.edu

• Automata theory
• Computing
• Application software
• Models of computation
• Uppaal Model Checker
• Stateflow
• Simulink
• Finite-state machine
• Valuation
• Visual programming languages
• Model checkers
• Software

Sparx Systems UML Tutorials The Business Process Model UML TUTORIALS

Source URL: sparxsystems.com.au

• Systems engineering
• Business
• Enterprise architecture
• Business process
• Unified Modeling Language
• Business process modeling
• Enterprise Architect
• Workflow
• Stateflow
• Enterprise modelling
• Process management
• Management