Protocolo de Comunicación FlexRay - MCRL2 Documentación 201
-
Upload
manuel-parreno -
Category
Documents
-
view
6 -
download
0
description
Transcript of Protocolo de Comunicación FlexRay - MCRL2 Documentación 201
-
FlexRay protocolo de comunicacinEl protocolo FlexRay es un estndar de comunicacin de la automocin, que fuediseado para ser fiable y horaactiva para soportar aplicaciones crticas para laseguridadenuncoche.
Estenoeselcaso.Resultantesrastrosdeerrorsevisualizaroncomosemuestraacontinuacin.
Detalles tcnicosLaspartesdelprocesodelProtocolodeControldeOperaciones(POC)delcontroladorFlexRayqueestninvolucradosenelprotocolodepuestaenmarchasemodelaroncontododetalle.Para loscomponentesque no sean el POC, se introdujeron modelos ms abstractos. A continuacin, se llev a cabo laverificacindeunared3nodo.Elespaciodeestadomsgrandequeseconsiderabatenaalrededorde26millonesdeestadosy76millonesdetransiciones.
TipodeverificacinDeadlock,seguridadypropiedadesLIVENESScheques.
ContextoorganizacionalPersonadecontacto: SjoerdCranen,TechnischeUniversiteitEindhoven,PasesBajos.Institucin: TechnischeUniversiteitEindhoven,PasesBajosPerododetiempo: 2012
UnapartedelcontroladorsemodelusandomCRL2(adaptadoligeramenteparaincorporarunanocindeherencia),ysecomprobsilasecuenciadepuestaenmarchasiempreconduceaunareddecomunicacinconxito,secomportamalinclusosiunnodo.