This report (1) presents use cases and requirements for a vehicle information architecture platform (VIAP), (2) reviews and evaluates the Automotive Open System Architecture (AUTOSAR) and the Distributed Real-time Managed System (DREMS) architecture specifications, and (3) presents a preliminary architecture specification VIAP that addresses the needs of the DARPA Adaptive Vehicle Make program....

A smart contract is a computer program that allows users to automate their actions on the blockchain platform. Given significance of contracts in supporting important activities across industry sectors including supply chain, finance, legal, and medical services, there strong demand for verification validation techniques. Yet, vast majority lack any kind formal specification, which essential es...

To be an effective platform for performance-sensitive realtime systems, commercial-off-the-shelf (COTS) distributed object computing (DOC) middleware must support application quality of service (QoS) requirements end-to-end. However, conventional DOC middleware does not provide this support, which makes it unsuited for applications with stringent latency, determinism, and priority preservation ...

We consider the two dimensional periodic specifications: a method to specify succinctly objects with highly regular repetitive structure. These specifications arise naturally when processing engineering designs including VLSI designs. These specifications can specify objects whose sizes are exponentially larger than the sizes of the specification themselves. Consequently solving a periodically ...

Component middleware frameworks such as the CORBA Component Model (CCM) and Enterprise Java Beans (EJB) are increasingly being applied to address challenges involved in building large-scale distributed systems. We seek to provide foundations and tools for modeldriven development of such systems in which architectural models serve as highly leveragable abstractions that form a substrate into whi...

Service outsourcing is the business paradigm, in which an organization has part of its business process performed by a service provider. In dynamic markets, service providers are selected on the fly during process enactment. The cooperation between the parties is specified in a dynamically made electronic contract. This contract includes a process specification that is tailored towards service ...