PEARL 91 - Workshop über Realzeitsysteme: 12. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 28./29. November 1991 ... 295) (German Edition)

Computers & Technology

Halang, Wolfgang A.

Computer Science

Springer

Discovery and Selection of Semantic Web Services (Studies in Computational Intelligence, 453)

For advanced web search engines to be able not only to search for semantically related information dispersed over different web pages, but also for semantic services providing certain functionalities, discovering semantic services is the key issue. Addressing four problems of current solution, this book presents the following contributions. A novel service model independent of semantic service description models is proposed, which clearly defines all elements necessary for service discovery and selection. It takes service selection as its gist and improves efficiency. Corresponding selection algorithms and their implementation as components of the extended Semantically Enabled Service-oriented Architecture in the Web Service Modeling Environment are detailed. Many applications of semantic web services, e.g. discovery, composition and mediation, can benefit from a general approach for building application ontologies. With application ontologies thus built, services are discovered in the same way as with single domain ontologies, and the mediation problem between service ontologies is solved. Further, an ontology-based approach to improve service discovery is proposed and validated. Within the service model, a service selection approach oriented at quality criteria is proposed. It normalises diverse qualities of a service in their respective metrics and employs a service selection algorithm based on soundness.

Wang, Xia

Das Buch behandelt das wichtige Thema funktionale Sicherheit programmierbarer elektronischer Systeme. Anhand begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme wird in die Denkweise der Sicherheitstechnik eingeführt. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifizierung werden dargestellt und bewertet. Weiterhin werden Ergebnisse jüngster Forschungen vorgestellt wie inhärent sicherheitsfördernde Paradigmen der Echtzeitprogrammierung und -ablauforganisation oder unkonventionelle sicherheitsgerichtete Architekturen für sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme. Das Buch wurde für die 3. Auflage gründlich überarbeitet und um die Darstellung neuer Patente&nbsp; und Normen erweitert.&nbsp; Die Zielgruppen Studierende der Automatisierungstechnik und der Informatik sowie Systemarchitekten und Entwickler.

Sicherheitsgerichtete Echtzeitsysteme (VDI-Buch) (German Edition)

Konakovsky, Rudolf M.

Springer Vieweg

This book represents the first comprehensive text in English on real-time and embedded computing systems. It is addressed to engineering students of universities and polytechnics as well as to practitioners and provides the knowledge required for the implementation of industrial computerized process control and manufacturing automation systems. The book avoids mathematical treatment and supports the relevance of the concepts introduced by practical examples and case studies. Special emphasis is placed on a sound conceptual basis and on methodologies and tools for the development of high quality control software, since software dependability has been identified as the major problem area of computerized process automation.

Real-Time Systems: Implementation of Industrial Computerized Process Automation

Sacha, Krzysztof M

World Scientific Publishing Company

REAL-TIME SYSTEMS: IMPLEMENTATION OF INDUSTRIAL COMPUTERIZED PROCESS AUTOMATION

Safety Licensable Computing Architecture

This book describes the design of a low complexity, fault-detecting computer architecture for utilisation in programmable logic controllers (PLCs) for process control purposes. The cyclic operating mode of PLCs and a specification level graphical programming paradigm based on interconnecting application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the specification, programming and machine execution levels enabling the safety licensing of application software by diverse back translation, an extremely simple but rigorous method.

SAFETY LICENSABLE COMPUTING ARCHITECTURE, A

Science & Math

Jung, Soon-Key

Kramer, Bernd J

Scheepstra, Johan J

Mathematics

See the best price to sell, buy, or rent books by Halang, Wolfgang A.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Halang, Wolfgang A.