Real-Time and Embedded Systems

Steven Smyth

Research assistant, PhD student

Christian-Albrechts-Platz 4, R.1118 (CAP 4)
Phone: +49 431 880-7525
Telefax: +49 431 880-7615
ssm@informatik.uni-kiel.de

Further Information

 

Projects (2)

  •  KIELER research project: Model-based Design in Eclipse,
        primarily involved in language semantics & code generation,
        semantics team lead
  •  REBLS 2018 workshop: Member of the program committee
 

Advised Theses (17)

  • Lars Peiler, Priority-based Compilation of SCCharts
    Master's Thesis, October 2017
  • Philip Eumann, A Domain-Specific Language for Railway Control
    Bachelor's Thesis, September 2017
  • Milad Rahimi-Barfeh, Incremental Compilation of SCEst
    Bachelor's Thesis, September 2017
  • Stephan Lenga, Model-based Compilation of Legacy C Programs
    Bachelor's Thesis, September 2016
  • Alexander Schulz-Rosengarten, Strict Sequential Constructiveness
    Master's Thesis, September 2016
  • Jonas Busse, SCCharts Kompilierung für eingebettete Systeme mit limitierten Resourcen
    Bachelor's Thesis, September 2016
  • Niclas Flieger, Comparison of Compilation Approaches in KIELER
    Master's Thesis, April 2016
  • Lars Olsson, Modellextraktion aus C Code 
    Bachelor's Thesis, March 2016
  • Stanislav Nasin, From SCL to Esterel
    Master's Thesis, October 2015
  • Tibor Weiß, Von Nebenläufigkeit zu Parallelität
    Bachelor's Thesis, October 2015
  • Lewe Andersen, Quadrocopter Flight-Control Design using SCCharts
    Bachelor's Thesis, September 2015
  • Lars Peiler, Modeling Simulations of Autonomous, Safety-Critical Systems
    Bachelor's Thesis, September 2015
  • Felix Machaczek, Collision Avoidance of Safety-Critical Real-Time Systems
    Bachelor's Thesis, September 2015
  • Andreas Stange, Comfortable SCCharts Modeling for Embedded Systems
    Bachelor's Thesis, September 2015
  • 2nd reviewer for Lennart Langenhop, Embedded Security Analysis for an Engine Control Unit Architecture
    Master's Thesis, March 2015
  • Karsten Rathlev, From Esterel to SCL
    Master's Thesis, March 2015
  • Axel Umland, Erweiterung von SCCharts um Datenfluss
    Diploma Thesis, March 2015
 

Teaching (26)

  • Winter term 2018/19: Deputy Head Teaching assistant for a lecture on Programming
  • Winter term 2018/19: Teaching assistant for a lecture on Programming for non-CS students
  • Summer term 2018: Supervision of the Real-Time Systems project
  • Summer term 2018: Supervision of the seminar Real-Time Systems
  • Winter term 2017/18: Deputy Head Teaching assistant for a lecture on Programming
  • Winter term 2017/18: Head teaching assistant for a lecture on Embedded Real-Time Systems
  • Summer term 2017: Supervision of the railway project
  • Summer term 2017: Mentor for the Bachelor degree mentoring program
  • Winter term 2016/17: Head teaching assistant for a lecture on Programming
  • Winter term 2016/17: Mentor for the Bachelor degree mentoring program
  • Summer term 2016: Supervision of the Miniature Lighthouse Real-Time project
  • Summer term 2016: Supervision of the seminar Real-Time Systems / Synchronous Languages
  • Winter term 2015/16: Deputy Head Teaching assistant for a lecture on Programming
  • Winter term 2015/16: Supervision of the Synchronous Languages master project
  • Summer term 2015: Supervision of the Quadrocopter Real-Time project
  • Summer term 2015: Supervision of the seminar Real-Time Systems
  • Summer term 2015: Teaching assistant for a lecture on Computer Systems
  • Winter term 2014/15: Head teaching assistant for a lecture on Embedded Real-time Systems
  • Winter term 2014/15: Head teaching assistant for a lecture on Operating Systems
  • Summer term 2014: Supervision of the seminar Synchronous Languages
  • Summer term 2014: Supervision of the railway project
  • Winter term 2013/14: Teaching assistant for a lecture on Synchronous Languages
  • Winter term 2013/14: Teaching assistant for a lecture on Operating Systems
  • Winter term 2012/13: Teaching assistant for a lecture on Operating Systems
  • Summer term 2012: Teaching support for the railway project
  • Winter term 2011/12: Teaching assistant for a lecture on Synchronous Languages
 

Research interests (6)

  • Real-time systems, embedded systems, and safety-critical systems
  • Interactive model-based compilation systems
  • Concurrency & Parallelism
  • Model-based compilation of (legacy) C programs
  • Computer networks
  • Robotics & Bionics
 

Attended Conferences, Workshops and Exchanges (8)

  • September 2017, Irkutsk, Russia
    Irkutsk State University
    Academic Exchange
  • December 2016, Bamberg, Germany:
    Synchronous Workshop
    Presented KIELER SCCharts Tutorial
  • October 2016, Corfu, Greece:
    International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
    Presented Interactive Model-Based Compilation Continued -- Interactive Incremental Hardware Synthesis for SCCharts
    and Model Extraction for Legacy C Programs with SCCharts
  • October 2016, Corfu, Greece:
    STRESS Workshop
    Workshop participant
  • December 2015, Kiel, Germany:
    Synchronous Workshop
    Presented Updates on SCCharts
  • October 2015, Pörtschach, Austria:
    Kolloquium Programmiersprachenund Grandlagen der Programmierung
    Presented A Data-Flow Approach for Compiling the Sequentially Constructive Language (SCL)
  • May 2015, Kiel, Germany:
    XtextCON
    Workshop participant
  • June 2014, Edinburgh, United Kingdom:
    Conference on Programming Languages and Design Implementation (PLDI)
    Presented SCCharts: Sequentially Constructive Statecharts for safety-critical applications
 

Publications (2013 - 2018)