Free Delivery Over $100
|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Roman Gumzej , Wolfgang A. HalangPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2016 Volume: 632 Dimensions: Width: 15.50cm , Height: 1.00cm , Length: 23.50cm Weight: 3.435kg ISBN: 9783319289038ISBN 10: 3319289039 Pages: 128 Publication Date: 29 January 2016 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsIntroduction.- Specification PEARL Language.- Specification PEARL Methodology.- UML 2 Profile for Specification PEARL.-UML Safety Pattern for Specification PEARL.- Specification PEARL Security.- Evaluation of the Methodology.- Conclusion.ReviewsWith the methodology proposed, the author succeeds in linking hardware and software properties through a holistic approach, covering important aspects such as functional correctness, timeliness, safety, and security. This is a suggested read for systems designers interested in the identification of viable ways to deliver, and sustain, reliable and secure CPS implementations. (Alessandro Berni, Computing Reviews, computingreviews.com, August, 2016) Author InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
