10 search results - page 1 / 2 » Towards safety guarantees for service-oriented systems |
ICSR
2011
Springer
12 years 8 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
IROS
2007
IEEE
13 years 11 months ago
2007
IEEE
— This paper considers the problem of coordinating multiple vehicles with kinodynamic constraints that operate in the same partially-known environment. The vehicles are able to c...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
Abstract— This paper presents a methodology for the decentralised control of multiple 3-dimensional nonholonomic agents. The proposed control scheme is based on Navigation Functi...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
System-level integration requires an overall understanding of the interplay of the sub-systems to enable componentbased development with portability, reconfigurability and extens...