Upload
manuel-parreno
View
7
Download
0
Embed Size (px)
DESCRIPTION
mecanica
Citation preview
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.