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.