Alexandre Donzé – Simulation-based Techniques for Designing Reliable Cyber-Physical Systems

Seminar: Wednesday 28 February, 13:15 in EL41 (note new time and location)

Cyber-Physical Systems (CPS) are computerized systems interacting with their physical environments. They are prominent in transportation (car, plane, rockets), robotics, internet of things, etc. Control software for CPS has seen a dramatic increase in size and complexity in recent years. (more…)

Ioannis Filippidis – Designing controllers for hybrid systems using TuLiP

Seminar: Monday, February 19, 9.00-11.00 in EL43

TuLiP is a collection of tools for designing controllers for hybrid systems from specifications in temporal logic. The tools take as input a description of the system dynamics, a labeling of the geometry of interest, and the desired behavior as temporal logic formulas that describe assumptions about the environment and guarantees to be ensured by control design. Systems with piecewise affine dynamics and environmental disturbances are supported, together with discrete-valued variables that represent the system itself and its environment. (more…)

Ioannis Filippidis – Decomposing formal specifications into assume-guarantee contracts for hierarchical system design

Seminar: 16 February 2018, 13:15, EL41

The design of complex engineering systems is typically structured hierarchically by specifying individual subsystems, and their interaction. We describe a method to algorithmically decompose a given overall system specification into a contract of realizable component specifications that together implement the given specification. (more…)

Magic Tester – Automated testing in practice

SyTeC has now been part of introducing even more rigorous testing methods in industry. With collaboration in the research project TESTRON, the academically-developed MATLAB toolbox Breach is now being used at Volvo Car Corporation to automatically generate and run test vectors for hybrid and electric vehicle models at the Vehicle Propulsion department. (more…)

Ioannis Filippidis – Guest researcher visiting SyTeC

Dr. Ioannis Filippidis from the California Institute of Technology, will be visiting Chalmers and specifically the SyTeC project as a guest researcher for three weeks from Feb 11, 2018, to March 2, 2018. During Dr. Filippidis’ visit, the primary focus will be on researching formal specification and automatic test case generation for hybrid systems. (more…)

Volvo – 1st Workshop on Automatic Generation of Test Cases for Mechatronic Systems

Workshop: 5 September, 13:00-16:00, Volvo Car Corporation

Members of SyTeC participated in the First Workshop on Automatic Generation of Test Cases for Mechatronic Systems, that was hosted by Volvo Car Corporation. This was a workshop supported by the Vinnova-FFI financed TESTRON project, which is adjoint with SyTeC. (more…)

Angela Wallenburg – Safe and Secure Programming Using SPARK

Seminar: 1 September 2017, 13:15, EA

Sometimes software really has to work. SPARK is a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed. By design, the SPARK language is immune to many programming language vulnerabilities (such as those listed by NIST/CWE/SANS). Under the hood, the SPARK static analysis tools use formal verification (automatic mathematical proof). (more…)

CASE 2017 – Special Session on Model-Based Testing of Hybrid Systems

At the 13th IEEE Conference on Automation Science and Engineering, August 20-23, 2017, Wyndham Grand Hotel, Xi’an, China, two SyTeC colleagues, Knut Åkesson and Martin Fabian, organized, invited and chaired a special session on Model-Based Testing of Hybrid Systems. (more…)

Jan Tretmans – Model-Based Testing: There is Nothing More Practical than a Good Theory

Seminar: 25 April 2017, 13:15, EF

We build ever larger and more complex software systems. Systematic testing plays an important role in assessing the quality of such systems. The effort for testing, however, turns out to grow even faster than the size and complexity of the systems under test themselves.One of the promising testing technologies to detect more bugs faster and cheaper is model-based testing. (more…)