|
|
GENESYS - GENeric Embedded SYStem Platform::
Summary :: Objectives :: Progress :: Results ::Impact :: |
Publications
|
||
| TITLE | MEDIUM | AUTHORS |
| GENESYS: A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems | to appear through publisher SVH under ISBN 978-3-8381-1040-0 | R. Obermaisser, H.Kopetz (editors) |
| Application Workload and SystemC Platform Modeling for Performance Evaluation | A chapter in the Springer book Martin Radetzki (Ed.), Selected Contributions on Specification, Design, and Verification from FDL'08, Vol 36, Lecture Notes in Electrical Engineering, ISBN 978-1-4020-9713-3, April 2009, 18 p. | J. Kreku, M. Hoppari, T. Kestilä, Y. Qu, J.-P. Soininen, K. Tiensyrjä, |
| On Equivalence Partitioning of Code Paths inside OS Kernel Components | Proc. of The First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009) | C. Sarbu, N. Nagappan, N. Suri |
| The Rationale for Time-Triggered Ethernet | The Real-Time Systems Symposium 2008 | H. Kopetz |
| A service based approach for a cross domain reference architecture development | Proceedings of ENASE 2009 - 4th International Conference on Evaluation of Novel Approaches to Software Engineering, 9-10 May, Editors: Stefan Jablonski and Laszek Maciaszek, ISBN: 978-989-8111-98-2, p. 33-44, 2009, INSTICC Press. | L. Dobrica, E. Ovaska |
| An Approach to Reference Architecture Design for Different Domains of Embedded Systems | Proceedings of the 2008 International Conference on Software Engineering Research and Practice (SERP 2008). CSREA Press. Vol. 1 (2008), 287-293 | L. Dobrica, E. Niemelä |
| Model and Quality Driven Embedded Systems Engineering | VTT PUBLICATIONS 705 | E. Ovaska, A. Balogh, S. Campos, A. Noguero, A. Pataricza, K. Tiensyrjä J. Vicedo |
| An Approach to Reference Architecture Design for Different Domains of Embedded Systems | Proceedings of the 2008 International Conference on Software Engineering Research and Practice (SERP 2008), Vol. 1, pp. 287-293, CSREA Press, ISBN 1-60132-086-8. 1-60132-087-6 | L. Dobrica, E. Niemelä |
| Automated Verification and Validation of Domain Specific Languages and their applications | Proceedings of WCSQ | A. Pataricza, A. Balogh, I. Rath |
| Application - Platform Performance Modelling and Evaluation | The Forum on specification, verification & design languages (FDL`08), Stuttgart, Germany, September 23-25, 2008, pp. 43-48 | J. Kreku, M. Hoppari, T. Kestilä, Yang Qu, J.-P. Soininen, K. Tiensyrjä |
| Reducing the Costs of Large-Scale BFT Replication | ACM International Conference Proceeding Series: Proceedings of Large-Scale Distributed Systems and Middleware (LADIS 2008) | M. Serafini, N. Suri |
| Low-latency Access to Robust Amnesic Storage | ACM International Conference Proceeding Series: Proceedings of Large-Scale Distributed Systems and Middleware (LADIS 2008) | D. Dobre, M. Majuntke, N. Suri |
| Service Description | Encyclopedia of Information Science and Technology, Second Edition, (Mehdi Khosrow-Pour, ed.) Volume VII, R-S, ISBN: 978-1-60566-026-4; 5270 pp; | J. Kantorovitch, E. Niemelä |
| Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems | EURASIP Journal on Embedded Systems, Volume 2008, Article ID 712329, 18 pages, doi:10.1155/2008/712329. | J. Kreku, M. Hoppari, T. Kestilä, Yang Qu, J.-P. Soininen, P. Andersson, K. Tiensyrjä |
| Modular Design and Verification of Safety-Critical Time-Triggered Systems by use of Executable Formal Specifications | HASE 2008 | K. Sakurai, P. Bokor, N. Suri |
| Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction | AFM 2008 | P. Bokor, S. Shukla, A. Pataricza, N. Suri |
