BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Talks.cam//talks.cam.ac.uk// X-WR-CALNAME:Talks.cam BEGIN:VEVENT SUMMARY:Software Architecture for the Internet of "\;certain"\; Th ings - Prof. Valeriy Vyatkin (University of Auckland) DTSTART:20120419T100000Z DTEND:20120419T110000Z UID:TALK37301@talks.cam.ac.uk CONTACT:Rengarajan DESCRIPTION:While the hype of the “Internet of Things” concept drives many creative researchers\, some real work is going on in the manufacturin g and other industrial sectors where “smart components” are being deve loped. The "advanced" academics argue in favour of repeating the success s tory of the self-organizing Internet in other areas\, such as manufacturin g\, energy and transportation. Practitioners oppose that all technical sys tems need to implement concrete requirements respecting various constraint s. \nAn example of this trend is the so called info-mechatronic components - the building blocks of machines and systems in manufacturing. For examp le\, since already a decade\, FESTO is experimenting with such intelligent networking drives\, sensors\, motors\, cameras\, etc.\, trying to find th e right balance between usability\, connectivity\, price/value ratio\, etc . Manufacturing engineers perhaps cannot completely rely on the promises o f self-configurability and self-organisation of such components\, and woul d still design systems in a more systematic way\, but taking into account their “intelligent” capabilities. It is rather a philosophical questio n of how traditional systems engineering processes need to be adapted to t he new realities of such a domain-specific "Internet of Things"\, and if t here is any promise of genesis?\nIn this talk we will present the concept of Cyber-Physical Component architecture that is being developed in the sp eaker’s group in Auckland. This architecture addresses several design so ftware and system engineering challenges: right equilibrium between abstra ct representation and “executability”\, round-trip engineering and abi lity to exhibit emergent behaviour. It offers ability of self-verification thanks to employing the concept of multi-closed-loop modelling. CPC exhib it such properties as portability\, interoperability and configurability t hanks to the reliance on open standards. The use of synchronous execution paradigm adds determinism and predictability at the run-time. \nThe CPC ar chitecture has been successfully applied in modelling and implementation o f systems in such domains as manufacturing\, logistics\, power systems and building automation. It is being used as “underlying canvas” for gene rative programming. \n LOCATION:Seminar room 2\, Institute for Manufacturing\, Cambridge END:VEVENT END:VCALENDAR