|
Department of Computer Science University of York - YO10 5DD York - United Kingdom Tel.: +44 (1904) 433378 Fax: +44 (1904) 432767 E-mail: osantos@cs.york.ac.uk |
Overview & Activities
Osmar Marchi dos Santos is originally from a small city,
called Santa Maria, in the south state
of Rio Grande
do Sul in Brazil. He holds a PhD degree in Real-Time Systems from the
University of York. His supervisor during PhD was
Professor Andy Wellings. Osmar's main research interests includes the modelling and analysis of real-time, distributed
and also fault-tolerant systems.
Currently, Osmar is a Research Associate in Software Engineering at the High Integrity Systems Engineering Group in the Computer Science Department of the University of York. He is working in the INESS European Project which aims to integrate train signalling systems in Europe. His work involves the use of model transformation techniques together with formal methods (mainly model checking) to analyse models of train signalling systems specified with a variant of executable UML. In the INESS project, he works with Professor Jim Woodcock, Professor Richard Paige and Dr. Steve King.
Currently, Osmar is a Research Associate in Software Engineering at the High Integrity Systems Engineering Group in the Computer Science Department of the University of York. He is working in the INESS European Project which aims to integrate train signalling systems in Europe. His work involves the use of model transformation techniques together with formal methods (mainly model checking) to analyse models of train signalling systems specified with a variant of executable UML. In the INESS project, he works with Professor Jim Woodcock, Professor Richard Paige and Dr. Steve King.
Latest Publications
SANTOS, O. M.; WELLINGS, A. J. Blocking time monitoring in the
real-time specification for Java. 6th International Workshop on Java
Technologies for Real-time and Embedded Systems, USA. ACM Press. p.
135-143, 2008.
SANTOS, O. M.; WELLINGS, A. J. Run Time Detection of Blocking Time Violations in Real-Time Systems. 14th Internationl Conference on Embedded and Real-Time Computing Systems and Applications, Taiwan. IEEE CS Press. p. 347-356, 2008.
SANTOS, O. M.; WELLINGS, A. J. Cost Enforcement in the Real-Time Specification for Java. In: Real-Time Systems Journal. vol. 37, number 2, p. 139-179, 2007.
WELLINGS, A. J.; BURNS, A.; SANTOS, O. M.; BROSGOL, B. M. Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Greece. IEEE CS Press. p. 115-123, 2007.
SANTOS, O. M.; WELLINGS, A. J. Run Time Detection of Blocking Time Violations in Real-Time Systems. 14th Internationl Conference on Embedded and Real-Time Computing Systems and Applications, Taiwan. IEEE CS Press. p. 347-356, 2008.
SANTOS, O. M.; WELLINGS, A. J. Cost Enforcement in the Real-Time Specification for Java. In: Real-Time Systems Journal. vol. 37, number 2, p. 139-179, 2007.
WELLINGS, A. J.; BURNS, A.; SANTOS, O. M.; BROSGOL, B. M. Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Greece. IEEE CS Press. p. 115-123, 2007.
Port of jRate to MaRTE OS (running in a barebone machine)
More information on the port of jRate to MaRTE (running in a barebone machine) is
provided in the highlighted link. Also, you can find links to specific information about jRate and MaRTE OS as well.
Last update 23/09/2009.