 [![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1SYlk5_ozpBRDGRpJlc0x8VEVWlJbhlgs/view?usp=sharing)
      
**Alejandro R. Mosteo,** Centro Universitario de la Defensa, Zaragoza, Spain  
   
The Robot Operating System (ROS/ROS2) is a de facto standard in many fields of robotics research, with increasing
presence in the industry. RCLAda is a binding to the ROS2 framework that enables programming for ROS2 in pure
Ada with seamless integration into the ROS2 workflow.  
During this tutorial, participants will learn how to install ROS2 and RCLAda, the necessary basic information about
the ROS2 build system and RCLAda integration, and will program basic examples and simulated mobile robots of the
kind used in the DARPA Subterranean Challenge.  
 
   
**Level**  
Introductory (in regard to robotics), intermediate (in regard to Ada).   


**Reasons for attending**
The Robot Operating System (ROS) is a de facto standard in many fields of robotics research, with increasing presence
in the industry. RCLAda is a client library for ROS2 that enables developing robots with the benefit of Ada strengths.
In this tutorial, participants will learn how to install ROS2 and RCLAda, the necessary information about the ROS2
build system and RCLAda integration, and will test and program basic examples and simulated mobile robots of the
kind used in the last DARPA Subterranean Challenge.   
   
**Presenter**   
![](https://assets.underline.io/uploads/markdown_image/1/image/969774ed3282fffe92303508e1b50749.png)    
Alejandro R. Mosteo is a professor at Centro Universitario de la Defensa, Zaragoza, Spain,
since 2011. He received the Ph.D. in 2010 from the Universidad de Zaragoza, Spain. He has
been a postgraduate researcher at Laboratoire d'Analyse et d'Architecture des Systèmes
(LAAS), Toulouse, France. He is a member of the Robotics, Perception, and Real‐Time group
at Universidad de Zaragoza. He became a member of the steering committee of the Technical
Committee on Multi‐Robot Systems of the IEEE Robotics and Automation Society in 2015.
His Ada advocacy career dates back to 2006 with his affiliation to the Ada‐Spain society for
the promotion of the Ada language. Recently, he has joined the editorial board of the
quarterly Ada User Journal as News Editor in 2019. In 2020 he has been appointed
coordinator of the Ada working group within the Spanish standardization body (UNE). His
research pursuits include multi‐robot cooperation, decentralized algorithms, and
autonomous air vehicles.   

Tutorial 1 - Programming mobile robots with ROS2 and the RCLAda Ada Client Library

 [![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1dyphj81ErvJpA3HTgEY_3cHn3FOsy9T7/view?usp=sharing)
   
**Jean‐Pierre Rosen,** Adalog, France    
   
This tutorial presents the fundamental notions that make the development of safety‐critical software different from
the development of more casual software. It presents the context, the applicable standards, and the techniques used
for achieving high reliability. It explains why Ada and Spark are especially suited for writing safety‐critical software.
Although required for demanding applications, the general principles that are detailed can be applied to, and help
improve, all kinds of software development.   
   
**Level**   
Intermediate. Expected audience experience: Casual knowledge of Ada.   
   
**Reasons for attending**   
• Understand the stakes of the development of safety‐critical software   
• Learn the various rules governing the development of safe software, and understand their motivation.   
• Consider the tools that are available to improve quality and safety of software  
• Apply some principles to more casual software for higher reliability        
   
**Presenter**   
![](https://assets.underline.io/uploads/markdown_image/1/image/5aa61692d37d0a7bb6a5d54838359a84.png)   
JP Rosen is a professional teacher, teaching Ada (since 1979, it was preliminary Ada!),
methods, and software engineering. He runs Adalog, a company specialized in providing
training, consultancy, and services in all areas connected to the Ada language and software
engineering. He is chairman of Ada‐France.   

Tutorial 2 - Introduction to the development of safety‐critical software

 [![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1OeTbiy5B5dT4yQcERbuY6FOa-Dnes07o/view?usp=sharing)
   
**Sara Royuela** (Barcelona Supercomputing Center, Spain), **S. Tucker Taft** (AdaCore, USA), **Luis Miguel Pinho**
(Polytechnic Institute of Porto, Portugal)   
   
OpenMP is one of the most widely used frameworks for the development of parallel programs. OpenMP provides a set
of annotations which allows for a compiler (or pre‐processing tool) to generate parallel code from sequential code (C,
C++ or Fortran), as well as a runtime that manages the concurrency and parallel execution (usually on top of a
multithreaded OS).   
The forthcoming revision of Ada specifies a lightweight parallel model, through a set of constructs that provide a guide
to the compiler, to generate the required code for the parallel execution. This lightweight model maps well to one of
the OpenMP approaches, which allows parallel Ada programs to execute on top of OpenMP runtimes, as well as rollyour‐
own light‐weight thread schedulers.   
This tutorial will show how to develop Ada parallel programs, using both OpenMP as well as a light‐weight thread
scheduler.   
   
**Level**  
Intermediate/Advanced      



**Reasons for attending**   
The omnipresence of parallel platforms in all areas of computing, from cloud to embedded, requires that software
developers take into consideration the potential of parallelism, as well as its pitfalls. In this context, attendees will be
provided with a general understanding of parallel programming with both OpenMP and the forthcoming Ada parallel
model, with a good insight on the direction Ada has been moving in this important domain.    

**Presenting author**     
![](https://assets.underline.io/uploads/markdown_image/1/image/b8a568882e06e2fd55d5fa1de54f9e1e.png)  
Dr. Sara Royuela is a post‐doctoral researcher at Barcelona Supercomputing Center (BSC). She
got her PhD in Computers Architecture from the Polytechnic University of Catalonia (UPC) with
cum laude distinction in 2018. Sara is specialized in High Performance Computing, and she has
great background on Real Time systems. She has a vast experience on compilers and analysis
tools for enhancing performance and programmability of parallel programming models. Sara is a
passionate and enthusiastic person that loves her work and enjoys sharing it with others.  
  
**Author**   
![](https://assets.underline.io/uploads/markdown_image/1/image/16f2edfe7eb423be2fefeaab4ec6936e.png)    
S. Tucker Taft is VP and Director of Language Research at AdaCore. His specialties include
programming language design, advanced static analysis tools, formal methods, real‐time
systems, parallel programming, and model‐based development. Tucker was lead designer of the
Ada 95 programming language, and is a member of the ISO Rapporteur Group that developed
Ada 2005 and Ada 2012. Tucker has also been designing and implementing a parallel
programming language called "ParaSail," and defining parallel programming extensions for Ada
as part of the forthcoming Ada 2022 standard.    
         
**Author**    
![](https://assets.underline.io/uploads/markdown_image/1/image/28af4a8f59f3a7532b21dbed506ab476.png)   
Luis Miguel Pinho is a Professor at the School of Engineering of the Polytechnic Institute of Porto,
leading research activities in, among others, real‐time and embedded parallel programming
models. Miguel participated in more than 25 R&D projects and published more than 100 papers
in international conferences and journals in the area of real‐time embedded systems. He was
coordinator of the FP7 R&D European Project Parallel SOftware framework for time‐CRitical
mAny‐core sysTEmS, which focused in the development of real‐time technology for parallel
platforms, with both OpenMP and Ada. Miguel is a member of ISO/IEC JTC1/SC22/WG9, a board
member of Ada‐Europe and Technical Editor of ACM Ada Letters.   

Tutorial 3 - Parallel programming with Ada and OpenMP

[![](https://assets.underline.io/uploads/markdown_image/1/image/c16573ea83bea90ad1e69e9deb24a8c6.png)](https://www.istr.unican.es/people/julio/tutorials/marte/AEiC2021/)   

 [![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1C6k-H9ifDz3-fIF09s8VfIARYfol9TgA/view?usp=sharing)

 
   
**Laurent Rioux** (Thales Research and Technology, France), **Julio Medina** (Universidad de Cantabria, Spain) and **Li Shuai** (CEA LIST, France)  
    
The objective of this tutorial is to explain how to apply timing verification from design models at an early stage to
verify their timing requirements, avoiding the late discovery of costly timing errors. The tutorial will introduce the
tools and techniques used to produce design models that, though being useful for code generation, shall be also able to
be trustily subject to a suitable form of timing verification. Depending on the severity of the need for verification the
design models will be restricted and furtherly transformed so as to serve as input to either (hard) schedulability
analysis, or (soft) simulation techniques. The seminar will address first a panoramic view of the field, then it will
describe the concepts, languages, tools, and techniques involved, mainly related to the UML and MARTE standards,
and finally show their application by means of a well‐known industrial case study from the avionics domain. In
addition, pedagogical exercises will be proposed to the attendees to fix concepts and train the usage of the tools.   
   
**Level:**    
Intermediate   

**Additional resources:**
[https://www.istr.unican.es/people/julio/tutorials/marte/AEiC2021/](https://www.istr.unican.es/people/julio/tutorials/marte/AEiC2021/)

   
**Reasons for attending**    
If timing verification is needed in your design flow, this tutorial is for you. Using a practical use case it presents UML/
MARTE based tools and techniques, which produce early stage design models useful to architect your application,
generate code, and transform it to be trustfully subject to a suitable form of timing verification.   
   
**Presenting author**     
![](https://assets.underline.io/uploads/markdown_image/1/image/4be53f587b10dce800b3ba93ea8c584e.png)    
Li Shuai is a researcher at the CEA LIST institute in France. He obtained a Ph.D. in computer
science on the topic of schedulability analysis of TDMA software radio protocols, while working
at THALES. Shuai is a committer on open‐source projects such as Eclipse Papyrus UML and
Linux Foundation ACUMOS AI. He builds model‐driven software engineering tools that include
scheduling analysis with MARTE, formal models of computation and communication, serviceoriented
architecture modelers, and code generators. He currently leads a team of a dozen
collaborators to build a SOA platform for extremely resource constrained environments. In his
free time, Shuai teaches system and software engineering with UML, SysML, and MARTE, at the
French National Institute of Nuclear Sciences and Techniques (INSTN), part of the Paris‐Saclay
University.   
   
**Author**   
![](https://assets.underline.io/uploads/markdown_image/1/image/06d2273425bce4e93f96a0aea12d0b47.png)  
Laurent Rioux has a doctorate in computer science on real‐time and embedded systems at the
University of Orsay (Paris XI). He is a senior expert in model‐based software and system
engineering for critical systems at Thales Research and Technology (TRT), Critical Embedded
Systems Lab. He worked in this research domain more than 15 years. He is also known for his
work on the definition and the standardization of a UML profile for real‐time embedded systems:
MARTE. Today, he is leading a research thematic in aim to handle Non‐Functional Properties
(NFP) in the Model‐Driven Engineering approach to design and certify complex and real‐time
and embedded systems. In particular, his research activities include identifying new ways to
design critical systems with the use of formal techniques to verify performance, energy and
security properties of these systems.   
   
**Author**   
![](https://assets.underline.io/uploads/markdown_image/1/image/10c621ea9a7801344767ae4743f366bb.png)   
Julio Medina is an Associate Professor in the University of Cantabria. He received the Ph.D. in
Telecom Engineering (Electronics) in 2005. He has a Master in Real‐Time Systems and made a
post‐doc in the LISE lab of CEA LIST, defining and writing several sections of the MARTE
standard. He studied the modelling for schedulability analysis of distributed RT systems with
SPT, predecessor of MARTE, and continued this effort in the MARTE Revision Task Force of the
OMG as well as in other related standards like SySML and the semantics for fUML‐based
composite structures and state machines.   

Tutorial 4 - Timing verification from UML & MARTE design models: techniques & tools

[![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1tGu0A8DNKFtirm_K2LmZc-TxzgKbzt0E/view?usp=sharing)
   
**Jan Verschelde,** University of Illinois at Chicago, USA
   
Many multicore processors are capable to speedup computations with a significant magnitude, reducing for example
to one hour some computation that would otherwise take an entire day to complete. The Ada programming language
provides a high level and effective tool to speedup computations on multicore processors. The design of parallel
programs starts with the granularity level of the parallelism with careful attention to memory management. We
decide on the size of each job, check the mapping of jobs to threads, and on the location of the input and output data
for each job. In the evaluation of parallel programs we tune the work load to reach the desired level of efficiency and
throughput.   
  
**Level:**
<br>Intermediate: between novice programmers and expert software developers.    
• Participants should know how to run and modify Ada programs.        
• Most examples will be mathematical. Some exposure or appreciation of subjects such as calculus and linear
algebra will be helpful.       
• Basic skills to work with the Terminal on a Linux computer.     
   
**Reasons for attending**    
As all computers are parallel shared memory computers, all good software can therefore also run in parallel. Ada is
well suited to write good parallel software.    
   
**Presenter**    
![](https://assets.underline.io/uploads/markdown_image/1/image/38e95afd610dbf2751700033806d75f9.png)   
Jan Verschelde obtained a PhD in Computer Science in 1996 at the Katholieke Universiteit
Leuven (KUL). After postdoctoral fellowships at the KUL, Michigan State University, and the
Mathematical Sciences Research Institute, he became a professor in the department of
Mathematics, Statistics and Computer Science at the University of Illinois at Chicago (UIC)
in 2000. The focus of his research is on algorithms and software to solve systems of
polynomial equations, a problem in computational algebraic geometry. He is the main
developer of the software PHCpack. At UIC, he teaches graduate courses on Scientific
Software and Introduction to Supercomputing.  

Tutorial 5 - Programming shared memory computers

 [![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1SYlk5_ozpBRDGRpJlc0x8VEVWlJbhlgs/view?usp=sharing)
   
**Alejandro R. Mosteo,** Centro Universitario de la Defensa, Zaragoza, Spain  
   
The Robot Operating System (ROS/ROS2) is a de facto standard in many fields of robotics research, with increasing
presence in the industry. RCLAda is a binding to the ROS2 framework that enables programming for ROS2 in pure
Ada with seamless integration into the ROS2 workflow.  
During this tutorial, participants will learn how to install ROS2 and RCLAda, the necessary basic information about
the ROS2 build system and RCLAda integration, and will program basic examples and simulated mobile robots of the
kind used in the DARPA Subterranean Challenge.  
In this tutorial, participants will get to learn the basics of the Alire project, from design foundations to practical use.
General concepts about dependency management will be presented intermixed with guided practicals that will allow
participants to learn how to use available libraries in their own projects, as well as the workflow to publish a library in
Alire.  
   
**Level**  
Introductory (in regard to robotics), intermediate (in regard to Ada).   
    
**Reasons for attending**
The Robot Operating System (ROS) is a de facto standard in many fields of robotics research, with increasing presence
in the industry. RCLAda is a client library for ROS2 that enables developing robots with the benefit of Ada strengths.
In this tutorial, participants will learn how to install ROS2 and RCLAda, the necessary information about the ROS2
build system and RCLAda integration, and will test and program basic examples and simulated mobile robots of the
kind used in the last DARPA Subterranean Challenge.   
   
**Presenter**   
![](https://assets.underline.io/uploads/markdown_image/1/image/969774ed3282fffe92303508e1b50749.png)    
Alejandro R. Mosteo is a professor at Centro Universitario de la Defensa, Zaragoza, Spain,
since 2011. He received the Ph.D. in 2010 from the Universidad de Zaragoza, Spain. He has
been a postgraduate researcher at Laboratoire d'Analyse et d'Architecture des Systèmes
(LAAS), Toulouse, France. He is a member of the Robotics, Perception, and Real‐Time group
at Universidad de Zaragoza. He became a member of the steering committee of the Technical
Committee on Multi‐Robot Systems of the IEEE Robotics and Automation Society in 2015.
His Ada advocacy career dates back to 2006 with his affiliation to the Ada‐Spain society for
the promotion of the Ada language. Recently, he has joined the editorial board of the
quarterly Ada User Journal as News Editor in 2019. In 2020 he has been appointed
coordinator of the Ada working group within the Spanish standardization body (UNE). His
research pursuits include multi‐robot cooperation, decentralized algorithms, and
autonomous air vehicles.   

Tutorial 1 - Programming mobile robots with ROS2 and the RCLAda Ada Client Library (continued)

[![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1dyphj81ErvJpA3HTgEY_3cHn3FOsy9T7/view?usp=sharing)
	 
**Jean‐Pierre Rosen,** Adalog, France    
   
This tutorial presents the fundamental notions that make the development of safety‐critical software different from
the development of more casual software. It presents the context, the applicable standards, and the techniques used
for achieving high reliability. It explains why Ada and Spark are especially suited for writing safety‐critical software.
Although required for demanding applications, the general principles that are detailed can be applied to, and help
improve, all kinds of software development.   
   
**Level**   
Intermediate. Expected audience experience: Casual knowledge of Ada.   
   
**Reasons for attending**   
• Understand the stakes of the development of safety‐critical software   
• Learn the various rules governing the development of safe software, and understand their motivation.   
• Consider the tools that are available to improve quality and safety of software  
• Apply some principles to more casual software for higher reliability        
   
**Presenter**   
![](https://assets.underline.io/uploads/markdown_image/1/image/5aa61692d37d0a7bb6a5d54838359a84.png)   
JP Rosen is a professional teacher, teaching Ada (since 1979, it was preliminary Ada!),
methods, and software engineering. He runs Adalog, a company specialized in providing
training, consultancy, and services in all areas connected to the Ada language and software
engineering. He is chairman of Ada‐France.   

Tutorial 2 - Introduction to the development of safety‐critical software  (continued)

 [![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1OeTbiy5B5dT4yQcERbuY6FOa-Dnes07o/view?usp=sharing)
   
**Sara Royuela** (Barcelona Supercomputing Center, Spain), **S. Tucker Taft** (AdaCore, USA), **Luis Miguel Pinho**
(Polytechnic Institute of Porto, Portugal)   
   
OpenMP is one of the most widely used frameworks for the development of parallel programs. OpenMP provides a set
of annotations which allows for a compiler (or pre‐processing tool) to generate parallel code from sequential code (C,
C++ or Fortran), as well as a runtime that manages the concurrency and parallel execution (usually on top of a
multithreaded OS).   
The forthcoming revision of Ada specifies a lightweight parallel model, through a set of constructs that provide a guide
to the compiler, to generate the required code for the parallel execution. This lightweight model maps well to one of
the OpenMP approaches, which allows parallel Ada programs to execute on top of OpenMP runtimes, as well as rollyour‐
own light‐weight thread schedulers.   
This tutorial will show how to develop Ada parallel programs, using both OpenMP as well as a light‐weight thread
scheduler.   
   
**Level**  
Intermediate/Advanced      
   
**Reasons for attending**   
The omnipresence of parallel platforms in all areas of computing, from cloud to embedded, requires that software
developers take into consideration the potential of parallelism, as well as its pitfalls. In this context, attendees will be
provided with a general understanding of parallel programming with both OpenMP and the forthcoming Ada parallel
model, with a good insight on the direction Ada has been moving in this important domain.    
  
**Presenting author**     
![](https://assets.underline.io/uploads/markdown_image/1/image/b8a568882e06e2fd55d5fa1de54f9e1e.png)  
Dr. Sara Royuela is a post‐doctoral researcher at Barcelona Supercomputing Center (BSC). She
got her PhD in Computers Architecture from the Polytechnic University of Catalonia (UPC) with
cum laude distinction in 2018. Sara is specialized in High Performance Computing, and she has
great background on Real Time systems. She has a vast experience on compilers and analysis
tools for enhancing performance and programmability of parallel programming models. Sara is a
passionate and enthusiastic person that loves her work and enjoys sharing it with others.  
   
**Author**   
![](https://assets.underline.io/uploads/markdown_image/1/image/16f2edfe7eb423be2fefeaab4ec6936e.png)    
S. Tucker Taft is VP and Director of Language Research at AdaCore. His specialties include
programming language design, advanced static analysis tools, formal methods, real‐time
systems, parallel programming, and model‐based development. Tucker was lead designer of the
Ada 95 programming language, and is a member of the ISO Rapporteur Group that developed
Ada 2005 and Ada 2012. Tucker has also been designing and implementing a parallel
programming language called "ParaSail," and defining parallel programming extensions for Ada
as part of the forthcoming Ada 2022 standard.    
        
**Author**   
![](https://assets.underline.io/uploads/markdown_image/1/image/28af4a8f59f3a7532b21dbed506ab476.png)   
Luis Miguel Pinho is a Professor at the School of Engineering of the Polytechnic Institute of Porto,
leading research activities in, among others, real‐time and embedded parallel programming
models. Miguel participated in more than 25 R&D projects and published more than 100 papers
in international conferences and journals in the area of real‐time embedded systems. He was
coordinator of the FP7 R&D European Project Parallel SOftware framework for time‐CRitical
mAny‐core sysTEmS, which focused in the development of real‐time technology for parallel
platforms, with both OpenMP and Ada. Miguel is a member of ISO/IEC JTC1/SC22/WG9, a board
member of Ada‐Europe and Technical Editor of ACM Ada Letters.   

Tutorial 3 - Parallel programming with Ada and OpenMP  (continued)

[![](https://assets.underline.io/uploads/markdown_image/1/image/c16573ea83bea90ad1e69e9deb24a8c6.png)](https://www.istr.unican.es/people/julio/tutorials/marte/AEiC2021/)   

[![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1C6k-H9ifDz3-fIF09s8VfIARYfol9TgA/view?usp=sharing)


   
**Laurent Rioux** (Thales Research and Technology, France), **Julio Medina** (Universidad de Cantabria, Spain) and **Li Shuai** (CEA LIST, France)  
    
The objective of this tutorial is to explain how to apply timing verification from design models at an early stage to
verify their timing requirements, avoiding the late discovery of costly timing errors. The tutorial will introduce the
tools and techniques used to produce design models that, though being useful for code generation, shall be also able to
be trustily subject to a suitable form of timing verification. Depending on the severity of the need for verification the
design models will be restricted and furtherly transformed so as to serve as input to either (hard) schedulability
analysis, or (soft) simulation techniques. The seminar will address first a panoramic view of the field, then it will
describe the concepts, languages, tools, and techniques involved, mainly related to the UML and MARTE standards,
and finally show their application by means of a well‐known industrial case study from the avionics domain. In
addition, pedagogical exercises will be proposed to the attendees to fix concepts and train the usage of the tools.   
   
**Level:**    
Intermediate   
   
**Reasons for attending**    
If timing verification is needed in your design flow, this tutorial is for you. Using a practical use case it presents UML/
MARTE based tools and techniques, which produce early stage design models useful to architect your application,
generate code, and transform it to be trustfully subject to a suitable form of timing verification.   
    
**Presenting author**     
![](https://assets.underline.io/uploads/markdown_image/1/image/4be53f587b10dce800b3ba93ea8c584e.png)    
Li Shuai is a researcher at the CEA LIST institute in France. He obtained a Ph.D. in computer
science on the topic of schedulability analysis of TDMA software radio protocols, while working
at THALES. Shuai is a committer on open‐source projects such as Eclipse Papyrus UML and
Linux Foundation ACUMOS AI. He builds model‐driven software engineering tools that include
scheduling analysis with MARTE, formal models of computation and communication, serviceoriented
architecture modelers, and code generators. He currently leads a team of a dozen
collaborators to build a SOA platform for extremely resource constrained environments. In his
free time, Shuai teaches system and software engineering with UML, SysML, and MARTE, at the
French National Institute of Nuclear Sciences and Techniques (INSTN), part of the Paris‐Saclay
University.   
   
**Author**   
![](https://assets.underline.io/uploads/markdown_image/1/image/06d2273425bce4e93f96a0aea12d0b47.png)  
Laurent Rioux has a doctorate in computer science on real‐time and embedded systems at the
University of Orsay (Paris XI). He is a senior expert in model‐based software and system
engineering for critical systems at Thales Research and Technology (TRT), Critical Embedded
Systems Lab. He worked in this research domain more than 15 years. He is also known for his
work on the definition and the standardization of a UML profile for real‐time embedded systems:
MARTE. Today, he is leading a research thematic in aim to handle Non‐Functional Properties
(NFP) in the Model‐Driven Engineering approach to design and certify complex and real‐time
and embedded systems. In particular, his research activities include identifying new ways to
design critical systems with the use of formal techniques to verify performance, energy and
security properties of these systems.   
   
**Author**   
![](https://assets.underline.io/uploads/markdown_image/1/image/10c621ea9a7801344767ae4743f366bb.png)   
Julio Medina is an Associate Professor in the University of Cantabria. He received the Ph.D. in
Telecom Engineering (Electronics) in 2005. He has a Master in Real‐Time Systems and made a
post‐doc in the LISE lab of CEA LIST, defining and writing several sections of the MARTE
standard. He studied the modelling for schedulability analysis of distributed RT systems with
SPT, predecessor of MARTE, and continued this effort in the MARTE Revision Task Force of the
OMG as well as in other related standards like SySML and the semantics for fUML‐based
composite structures and state machines.   

Tutorial 4 - Timing verification from UML & MARTE design models: techniques & tools (continued) 

 [![](https://assets.underline.io/uploads/markdown_image/1/image/e88f64c262b0191b6e34c1b7659521d1.png)](https://drive.google.com/file/d/1tGu0A8DNKFtirm_K2LmZc-TxzgKbzt0E/view?usp=sharing)
   
**Jan Verschelde,** University of Illinois at Chicago, USA
   
Many multicore processors are capable to speedup computations with a significant magnitude, reducing for example
to one hour some computation that would otherwise take an entire day to complete. The Ada programming language
provides a high level and effective tool to speedup computations on multicore processors. The design of parallel
programs starts with the granularity level of the parallelism with careful attention to memory management. We
decide on the size of each job, check the mapping of jobs to threads, and on the location of the input and output data
for each job. In the evaluation of parallel programs we tune the work load to reach the desired level of efficiency and
throughput.   
  
**Level**
<br>Intermediate: between novice programmers and expert software developers.    
• Participants should know how to run and modify Ada programs.        
• Most examples will be mathematical. Some exposure or appreciation of subjects such as calculus and linear
algebra will be helpful.       
• Basic skills to work with the Terminal on a Linux computer.     
   
**Reasons for attending**    
As all computers are parallel shared memory computers, all good software can therefore also run in parallel. Ada is
well suited to write good parallel software.    
   
**Presenter**    
![](https://assets.underline.io/uploads/markdown_image/1/image/38e95afd610dbf2751700033806d75f9.png)   
Jan Verschelde obtained a PhD in Computer Science in 1996 at the Katholieke Universiteit
Leuven (KUL). After postdoctoral fellowships at the KUL, Michigan State University, and the
Mathematical Sciences Research Institute, he became a professor in the department of
Mathematics, Statistics and Computer Science at the University of Illinois at Chicago (UIC)
in 2000. The focus of his research is on algorithms and software to solve systems of
polynomial equations, a problem in computational algebraic geometry. He is the main
developer of the software PHCpack. At UIC, he teaches graduate courses on Scientific
Software and Introduction to Supercomputing.  

[![](https://assets.underline.io/uploads/markdown_image/1/image/359fc42963be9dbef8d1acac451d7c3e.png)](https://www.ada-europe.org/conference2021)

### Welcome Message from our Co-Chairs

Through this message, we want to give you our warmest welcome to the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021). The special circumstances we all go through have made the conference a virtual event. Nonetheless, this will allow us to take advantage of the benefits of this format by using the Underline.io platform that allows remote participation of speakers and attendees and a virtual exhibition.
The platform will also provide a virtual space through Gather.Town to facilitate social interaction among participants, which, in addition to presenting state of the art research results, is one of the most important goals of a conference. This platform will hold various social events together with breaks and a poster session. 

The conference schedule includes a four-day program and exhibition from Monday to Thursday, with parallel tutorials on Monday, and keynotes, technical sessions and a Work-in-Progress session on the remaining three days. The technical sessions include the presentations of 13 journal-track papers, 5 industrial presentations and 6 invited talks on leading topics on reliable software technologies. The program will be completed with three outstanding keynotes that will delight the participants.

The main conference activities will be from 13:00 to 18:00 Central European Summer Time (CEST) to allow participants from America to Central Asia to attend to the conference sessions. Virtual social events are scheduled at the beginning and the end of each day. We encourage you to participate in these activities as well as visiting the exhibition. We look forward to meeting you virtually in June 2021!

**J. Javier Gutiérrez and Mario Aldea Rivas**
 // AEiC 2021 Program Co-Chairs

![](https://assets.underline.io/uploads/markdown_image/1/image/609207a715bd5da2ea56e9a32b0d17ae.png)
![](https://assets.underline.io/uploads/markdown_image/1/image/5bd0a9396b4c6903d0ca52825b81fbe6.png)




Please register with AEiC to be able to enter the conference on Underline.io. If you have already registered, please login to Underline.io to be able to see full conference content. In case you do not have an Underline account, please create one. Thank you 

Please login to your Underline account

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies

Do you have any other suggestions or comments?

Your vote has been successfully recorded.