MAST
New version of MAST analysis tool(1.5.1.0) available
The Software Engineering and Real-Time Group (Ingeniería Software y Tiempo Real, ISTR) at the University of Cantabria has kept a continuous research activity in the theory and application of software engineering to:
These achievements have been possible thanks to the participation of the group in projects funded by the European Union, the European Space Agency and the Spanish National Research Plan. In addition to the projects funded through public institutions the group also has a lot of experience in collaborative projects with industry, where the techniques and tools developed in more basic-research projects are applied to real-life systems. In order to transition the theory and methods developed to actual industrial usage, the group actively participates in the development of standards: Real-time POSIX operating systems, the UML-MARTE profile of OMG, and the standardization process of the Ada language.
New version of MAST analysis tool(1.5.1.0) available
New version of MaRTE OS available