Cyber-Physical System Design from an Architecture Analysis Viewpoint -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreSoyez informé(e) par e-mail dès l'arrivée de cet article
Créer une alerte prix
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Cyber - Physical System Design From An Architecture Analysis Viewpoint Format Broché - Livre Littérature Générale
0 avis sur Cyber - Physical System Design From An Architecture Analysis Viewpoint Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Cyber - Physical System Design From An Architecture Analysis Viewpoint Format Broché
- Livre Littérature Générale
Résumé :
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs.- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL.- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard.- 4 MARTE for CPS and CPSoS.- 5 Combined Model Checking and Testing Create Confidence - A Case on Commercial Automotive Operating System.- 6 Formal Methods for Aerospace Systems....
Biographie:
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs.- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL.- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard.- 4 MARTE for CPS and CPSoS.- 5 Combined Model Checking and Testing Create Confidence - A Case on Commercial Automotive Operating System.- 6 Formal Methods for Aerospace Systems. ...
Sommaire: Editors: Shin Nakajima is a professor at the National Institute of Informatics (NII) and also a professor at the Graduate University for Advanced Studies (SOKENDAI). His research interests include formal methods, automated verification, and software testing. Huafeng Yu is a senior researcher with Boeing Research & Technology. He serves onIEEE Technical Committee on for Cyber-Physical Systems. His research interests include mobile autonomous systems, software architecture and safety, model-based engineering, and software certification.
Masumi Toyoshima is a research project manager at DENSO Corporation. His research background includes design of distributed computing systems and recent interest is Systems Engineering.