Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser

Source URL: sdl-forum.org

• Formal methods
• Theoretical computer science
• Logic in computer science
• Systems engineering
• Formal verification
• Specification
• Formal specification
• Verification
• Simulink
• Device driver synthesis and verification

On Bringing Object-Oriented Software Metrics into the Model-Based World Verifying ISOCompliance in Simulink Lukas Mäurer, Torben Stolte

Source URL: sdl-forum.org

• Metrics
• Software metric
• Software development
• Component-based software engineering
• Index of software engineering articles

Flyability SA Av. SévelinLausanne Switzerland +

Source URL: www.flyability.com

• Embedded systems
• Cross-platform software
• Numerical software
• Visual programming languages
• Digital electronics
• Microcontroller
• LabVIEW
• Simulink
• cole Polytechnique Fdrale de Lausanne
• Unmanned aerial vehicle
• Firmware
• System on a chip

A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code

Source URL: ti.arc.nasa.gov

• Cross-platform software
• Numerical software
• Formal methods
• Simulation software
• Linear algebra
• MATLAB
• Simulink
• Verification condition generator
• Formal verification
• Command-line interface
• HTML element

The role of Matlab and Simulink in teaching communications ∗ Ian Marsh

Source URL: edusigcomm.info.ucl.ac.be

• Data transmission
• Multiplexing
• Information theory
• Signal processing
• Media technology
• Baseband
• Modulation
• Simulink
• Orthogonal frequency-division multiplexing
• Digital signal
• Frequency modulation
• Passband

Error Recovery for a Boiler System with OTS PID Controller Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK {tom.

Source URL: rodin.cs.ncl.ac.uk

• Control theory
• Control engineering
• Automation
• Cybernetics
• Cross-platform software
• PID controller
• Control system
• Boiler
• Controller
• Wrapper
• Simulink
• MATLAB

OpenSees Navigator & Hybrid Simulation

Source URL: openseesnavigator.berkeley.edu

• Numerical software
• Cross-platform software
• Simulation software
• Array programming languages
• Structural engineering
• MATLAB
• OpenSees
• Earthquake engineering
• Braced frame
• Simulink
• Zipper
• Moving frame

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Source URL: www.lix.polytechnique.fr

• Abstract interpretation
• Software testing
• AbsInt
• Fluctuat
• Astre
• Formal methods
• Radhia Cousot
• Static program analysis
• Patrick Cousot
• Formal verification
• Simulink
• Polyspace

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

BLADERF WINDOWS ® INSTALL GUIDE INSTALLING BLADERF SOFTWARE WITH MATLAB ® & SIMULINK® SUPPORT JANUARY

Source URL: nuand.com