Beispielbild für diese ISBN

Identificação de erros em programas de controle escritos em Ladder : Uma abordagem baseada em Model Checking (e com a aplicação da ferramenta UPPAAL)

Cleber Alves Sarmento

ISBN 10: 6202030402 / ISBN 13: 9786202030403
Verlag: Novas Edicioes Academicas
Neu Zustand: Neu Softcover
Verkäufer AHA-BUCH GmbH (Einbeck, Deutschland)

AbeBooks Verkäufer seit 14. August 2006 Verkäuferbewertung 5 Sterne

Anzahl: 1

Neu kaufen
Preis: EUR 64,90 Währung umrechnen
Versand: EUR 34,50 Von Deutschland nach USA Versandziele, Kosten & Dauer
In den Warenkorb legen

Beschreibung

Neuware - Os sistemas produtivos (SPs) podem utilizar controladores programáveis (CPs) como dispositivos de realização do controle. Neste contexto, programas de controle executados por CPs podem ser desenvolvidos de forma a não estarem em conformidade com as especificações de projeto, o que poderá provocar o surgimento de erros funcionais associados à execução destes programas. Tais erros podem levar os SPs sob controle a situações de acidentes. Esta questão tem motivado o surgimento de diversas abordagens para identificar a existência de erros em programas de controle de CPs, de forma a permitir a correção dos mesmos, e garantir, consequentemente, maior confiabilidade operacional. Esta obra tem por objetivo ilustrar como identificar a existência de erros em programas de controle baseados em linguagem Ladder (LD). Para isto, propõe-se um processo de criação de modelos em Máquinas de Estados Finitos Estendidas (MEFEs), que são gerados a partir do mapeamento dos rungs contidos no programa de controle que se deseja identificar os erros. Uma vez desenvolvidos tais modelos, é possível a utilização da ferramenta de model checking UPPAAL, a qual indicará a existência (ou não) destes erros. 160 pp. Portugiesisch. Buchnummer des Verkäufers 9786202030403

Dem Anbieter eine Frage stellen

Bibliografische Details

Titel: Identificação de erros em programas de ...

Verlag: Novas Edicioes Academicas

Einband: Taschenbuch

Zustand: Neu

Über diesen Titel

Reseña del editor:

Os sistemas produtivos (SPs) podem utilizar controladores programáveis (CPs) como dispositivos de realização do controle. Neste contexto, programas de controle executados por CPs podem ser desenvolvidos de forma a não estarem em conformidade com as especificações de projeto, o que poderá provocar o surgimento de erros funcionais associados à execução destes programas. Tais erros podem levar os SPs sob controle a situações de acidentes. Esta questão tem motivado o surgimento de diversas abordagens para identificar a existência de erros em programas de controle de CPs, de forma a permitir a correção dos mesmos, e garantir, consequentemente, maior confiabilidade operacional. Esta obra tem por objetivo ilustrar como identificar a existência de erros em programas de controle baseados em linguagem Ladder (LD). Para isto, propõe-se um processo de criação de modelos em Máquinas de Estados Finitos Estendidas (MEFEs), que são gerados a partir do mapeamento dos rungs contidos no programa de controle que se deseja identificar os erros. Uma vez desenvolvidos tais modelos, é possível a utilização da ferramenta de model checking UPPAAL, a qual indicará a existência (ou não) destes erros.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager. Seit 2012/2013 betreiben wir ebenfalls 2 stationäre Buchhandlungen in Einbeck und Umgebung.

Zur Homepage des Verkäufers

Geschäftsbedingungen:

Widerrufsbelehrung/ Muster-Widerrufsformular/
Allgemeine Geschäftsbedingungen und Kundeninformationen/ Datenschutzerklärung

Widerrufsrecht für Verbraucher
(Verbraucher ist jede natürliche Person, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbstständigen beruflichen Tätigkeit zugerechnet werden kann.)

Widerrufsbelehrung

Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen.
Die Widerru...

Mehr Information
Versandinformationen:

Wir verschicken Ihre Bestellung normalerweise innerhalb von 1-2 Tagen in sicheren Buchverpackungen. Die Rechnung mit ausgewiesener MwSt. legen wir bei.

We ship your order normally 24 - 48 hours after your order. The invoice including VAT is added to your shipment.


Impressum & Info zum Verkäufer

Alle Bücher des Anbieters anzeigen

Zahlungsarten
akzeptiert von diesem Verkäufer

Visa Mastercard American Express Carte Bleue

Vorauskasse Bar Rechnung Banküberweisung