Curriculum Vitae

Scarica curriculum vitae

Didattica

A.A. 2020/2021

EMBEDDED AND CERTIFIED SOFTWARE

Degree course AEROSPACE ENGINEERING

Course type Laurea Magistrale

Language INGLESE

Credits 9.0

Teaching hours Ore totali di attività frontale: 81.0

Year taught 2020/2021

For matriculated on 2019/2020

Course year 2

Structure DIPARTIMENTO DI INGEGNERIA DELL'INNOVAZIONE

Subject matter SYSTEMS

Location Brindisi

A.A. 2018/2019

EMBEDDED AND CERTIFIED SOFTWARE MOD.2

Degree course AEROSPACE ENGINEERING

Course type Laurea Magistrale

Language INGLESE

Credits 6.0

Teaching hours Ore totali di attività frontale: 54.0

Year taught 2018/2019

For matriculated on 2018/2019

Course year 1

Structure DIPARTIMENTO DI INGEGNERIA DELL'INNOVAZIONE

Subject matter AEROSPACE ENGINEERING SYSTEMS

Torna all'elenco
EMBEDDED AND CERTIFIED SOFTWARE

Degree course AEROSPACE ENGINEERING

Subject area ING-INF/05

Course type Laurea Magistrale

Credits 9.0

Teaching hours Ore totali di attività frontale: 81.0

For matriculated on 2019/2020

Year taught 2020/2021

Course year 2

Semestre Secondo Semestre (dal 01/03/2021 al 11/06/2021)

Language INGLESE

Subject matter SYSTEMS (A100)

Location Brindisi

Fundamentals of Computer Science. Fundamentals of Digital Electronics. Knowledge of at least a programming language.

  • Software development for embedded systems: general overview. Case study: the GCC compiler and the GDB debugger.
  • Software for mobile devices. Case study: iOS and Android. iOS and Android OS architecture. Introduction to mobile Applications development; certificato requirements for the applications distribution.
  • Software for robotics. Case study: ROS (Robot Operating System). General overview. Development of a ROS node. Introduction to typical issues in autonomous robots.
  • Software for real-time embedded Operating Systems. Case study: OSEK-OS. AUTOSAR (quick overview).
  • Model-based embedded software design: general overview. Model checking and statistical model checking. Case study: Uppaal SMC.
  • Blockchain and Smart Contracts.
  • Knowledge and understanding

Main concepts of design, development, test and certification of embedded software for a specific application in mobile, robotic and control systems.

  • Ability to apply knowledge and understanding

Capability of designino, developing, testing and validating an embedded software according to external requirements (user and systems requirements) and internal requirements (current regulations and certification processes).

  • Ability of evaluation

Capability of knowledge of problems and ability to identify a proper solution.

  • Ability of speaking 

Capability of communicating with a proper technical language.

  • Learning ability

Capability of autonomously improving abilities and knowledge.

Lectures for presenting general teorethical concepts and models corroborated by selected case studies, examples and exercises.

End-course written test containing open answer questions, multiple choice questions and practical exercises in order to evaluate learning and speaking abilities as well as the capability of problem understanding and solving.

Optional ora examination on the course contents, only after a positive output of the written test (mark equal or above 18/30).

Further e-mail for communications: michele.ruta@poliba.it

  • Development of software for embedded systems: general overview, software compiling, cross-compiling, development environments, build system. Case study: GCC compiler and debugger GDB.
  • Software for mobile devices: general overview. Case studies: iOS and Android. Architecture of the Operating Systems (O.S.) iOS and Android: kernel, layers, runtime environment. Security features and energy management. Introduction to mobile applications development: lifecycle of an application, architectural patterns and basic APIs. Certification requirements for distributing applications on the App Store.
  • Software for robotic devices. Case study: ROS (Robot Operating System). General requirements, architecture, publish/subscribe framework, services, package. Development of a ROS node. Introduction to typical issues of autonomous robots: mapping, path planning, path following, motion control. Gazebo simulator and RViz viewer.
  • Software for real-time embedded O.S.. Case study OSEK-OS: task development model, OIL language for system configuration specification, task lyfecycle, O.S. features. AUTOSAR platforms Classic and Adaptive (quick overview).
  • Model-based embedded software design: general overview, verification and validation, V model. Generali concepts of model checking: automatas and Kripke structures, propositional and temporali logics LTL e CTL, verifiable property types. Statistical model checking. Case study: Uppaal SMC.
  • Teaching resources at the Web page: http://sisinflab.poliba.it/ruta/(link ‘Embedded and Certified Software’)
  • Manuals and tutorials of software tools presented as case studies: GCC and GDB, official documentation for iOS and Android developers, ROS, Catkin, Gazebo, OSEK-OS, RT-Druid, Uppaal SMC.
  • A. Silberschatz, P.B. Galvin, G. Gagne, Operating System Concepts, Wiley
EMBEDDED AND CERTIFIED SOFTWARE (ING-INF/05)
EMBEDDED AND CERTIFIED SOFTWARE MOD.2

Degree course AEROSPACE ENGINEERING

Subject area ING-INF/05

Course type Laurea Magistrale

Credits 6.0

Teaching hours Ore totali di attività frontale: 54.0

For matriculated on 2018/2019

Year taught 2018/2019

Course year 1

Semestre Primo Semestre (dal 24/09/2018 al 21/12/2018)

Language INGLESE

Subject matter AEROSPACE ENGINEERING SYSTEMS (A89)

Fundamentals of Computer Science. Fundamentals of Digital Electronics. Knowledge of at least a programming language.

  • Software development for embedded systems: general overview. Case study: the GCC compiler and the GDB debugger.
  • Software for mobile devices. Case study: iOS and Android. iOS and Android OS architecture. Introduction to mobile Applications development; certificato requirements for the applications distribution.
  • Software for robotics. Case study: ROS (Robot Operating System). General overview. Development of a ROS node. Introduction to typical issues in autonomous robots.
  • Software for real-time embedded Operating Systems. Case study: OSEK-OS. AUTOSAR (quick overview).
  • Model-based embedded software design: general overview. Model checking and statistical model checking. Case study: Uppaal SMC.
  • Knowledge and understanding

Main concepts of design, development, test and certification of embedded software for a specific application in mobile, robotic and control systems.

  • Ability to apply knowledge and understanding

Capability of designino, developing, testing and validating an embedded software according to external requirements (user and systems requirements) and internal requirements (current regulations and certification processes).

  • Ability of evaluation

Capability of knowledge of problems and ability to identify a proper solution.

  • Ability of speaking 

Capability of communicating with a proper technical language.

  • Learning ability

Capability of autonomously improving abilities and knowledge.

Lectures for presenting general teorethical concepts and models corroborated by selected case studies, examples and exercises.

End-course written test containing open answer questions, multiple choice questions and practical exercises in order to evaluate learning and speaking abilities as well as the capability of problem understanding and solving.

Optional ora examination on the course contents, only after a positive output of the written test (mark equal or above 18/30).

15/02/2019 ore 11:00 Aula B

24/05/2019 ore 11:00

28/06/2019 ore 11:00

18/07/2019 ore 11:00

12/09/2019 ore 11:00

26/09/2019 ore 11:00

15/11/2019 ore 11:00

Further e-mail for communications: michele.ruta@poliba.it

  • Development of software for embedded systems: general overview, software compiling, cross-compiling, development environments, build system. Case study: GCC compiler and debugger GDB.
  • Software for mobile devices: general overview. Case studies: iOS and Android. Architecture of the Operating Systems (O.S.) iOS and Android: kernel, layers, runtime environment. Security features and energy management. Introduction to mobile applications development: lifecycle of an application, architectural patterns and basic APIs. Certification requirements for distributing applications on the App Store.
  • Software for robotic devices. Case study: ROS (Robot Operating System). General requirements, architecture, publish/subscribe framework, services, package. Development of a ROS node. Introduction to typical issues of autonomous robots: mapping, path planning, path following, motion control. Gazebo simulator and RViz viewer.
  • Software for real-time embedded O.S.. Case study OSEK-OS: task development model, OIL language for system configuration specification, task lyfecycle, O.S. features. AUTOSAR platforms Classic and Adaptive (quick overview).
  • Model-based embedded software design: general overview, verification and validation, V model. Generali concepts of model checking: automatas and Kripke structures, propositional and temporali logics LTL e CTL, verifiable property types. Statistical model checking. Case study: Uppaal SMC.
  • Teaching resources at the Web page: http://sisinflab.poliba.it/ruta/(link ‘Embedded and Certified Software’)
  • Manuals and tutorials of software tools presented as case studies: GCC and GDB, official documentation for iOS and Android developers, ROS, Catkin, Gazebo, OSEK-OS, RT-Druid, Uppaal SMC.
  • A. Silberschatz, P.B. Galvin, G. Gagne, Operating System Concepts, Wiley
EMBEDDED AND CERTIFIED SOFTWARE MOD.2 (ING-INF/05)
EMBEDDED AND CERTIFIED SOFTWARE MOD.2

Degree course AEROSPACE ENGINEERING

Subject area ING-INF/05

Course type Laurea Magistrale

Credits 6.0

Teaching hours Ore totali di attività frontale: 0.0

For matriculated on 2017/2018

Year taught 2017/2018

Course year 1

Semestre Primo Semestre (dal 25/09/2017 al 22/12/2017)

Language INGLESE

Subject matter AEROSPACE ENGINEERING SYSTEMS (A89)

Fundamentals of Computer Science. Fundamentals of Digital Electronics. Knowledge of at least a programming language.

  • Software development for embedded systems: general overview. Case study: the GCC compiler and the GDB debugger.
  • Software for mobile devices. Case study: iOS and Android. iOS and Android OS architecture. Introduction to mobile Applications development; certificato requirements for the applications distribution.
  • Software for robotics. Case study: ROS (Robot Operating System). General overview. Development of a ROS node. Introduction to typical issues in autonomous robots.
  • Software for real-time embedded Operating Systems. Case study: OSEK-OS. AUTOSAR (quick overview).
  • Model-based embedded software design: general overview. Model checking and statistical model checking. Case study: Uppaal SMC.
  • Knowledge and understanding

Main concepts of design, development, test and certification of embedded software for a specific application in mobile, robotic and control systems.

  • Ability to apply knowledge and understanding

Capability of designino, developing, testing and validating an embedded software according to external requirements (user and systems requirements) and internal requirements (current regulations and certification processes).

  • Ability of evaluation

Capability of knowledge of problems and ability to identify a proper solution.

  • Ability of speaking 

Capability of communicating with a proper technical language.

  • Learning ability

Capability of autonomously improving abilities and knowledge.

Lectures for presenting general teorethical concepts and models corroborated by selected case studies, examples and exercises.

End-course written test containing open answer questions, multiple choice questions and practical exercises in order to evaluate learning and speaking abilities as well as the capability of problem understanding and solving.

Optional ora examination on the course contents, only after a positive output of the written test (mark equal or above 18/30).

15/02/2019 ore 11:00 Aula B

24/05/2019 ore 11:00

28/06/2019 ore 11:00

18/07/2019 ore 11:00

12/09/2019 ore 11:00

26/09/2019 ore 11:00

15/11/2019 ore 11:00

Further e-mail for communications: michele.ruta@poliba.it

  • Development of software for embedded systems: general overview, software compiling, cross-compiling, development environments, build system. Case study: GCC compiler and debugger GDB.
  • Software for mobile devices: general overview. Case studies: iOS and Android. Architecture of the Operating Systems (O.S.) iOS and Android: kernel, layers, runtime environment. Security features and energy management. Introduction to mobile applications development: lifecycle of an application, architectural patterns and basic APIs. Certification requirements for distributing applications on the App Store.
  • Software for robotic devices. Case study: ROS (Robot Operating System). General requirements, architecture, publish/subscribe framework, services, package. Development of a ROS node. Introduction to typical issues of autonomous robots: mapping, path planning, path following, motion control. Gazebo simulator and RViz viewer.
  • Software for real-time embedded O.S.. Case study OSEK-OS: task development model, OIL language for system configuration specification, task lyfecycle, O.S. features. AUTOSAR platforms Classic and Adaptive (quick overview).
  • Model-based embedded software design: general overview, verification and validation, V model. Generali concepts of model checking: automatas and Kripke structures, propositional and temporali logics LTL e CTL, verifiable property types. Statistical model checking. Case study: Uppaal SMC.
  • Teaching resources at the Web page: http://sisinflab.poliba.it/ruta/(link ‘Embedded and Certified Software’)
  • Manuals and tutorials of software tools presented as case studies: GCC and GDB, official documentation for iOS and Android developers, ROS, Catkin, Gazebo, OSEK-OS, RT-Druid, Uppaal SMC.
  • A. Silberschatz, P.B. Galvin, G. Gagne, Operating System Concepts, Wiley
EMBEDDED AND CERTIFIED SOFTWARE MOD.2 (ING-INF/05)