-
2
-
-
84871755966
-
Controller Area Network-Introduced 25 years ago
-
Mar
-
H. Zeltwanger, "Controller Area Network-Introduced 25 years ago, " CAN Newsletter, pp. 18-20, Mar. 2011.
-
(2011)
CAN Newsletter
, pp. 18-20
-
-
Zeltwanger, H.1
-
3
-
-
21644462279
-
Trends in automotive communication systems
-
Jun
-
N. Navet, Y. Song, F. Simonot-Lion, and C. Wilwert, "Trends in automotive communication systems, " Proc. IEEE, vol. 93, no. 6, pp. 1204-1223, Jun. 2005.
-
(2005)
Proc. IEEE
, vol.93
, Issue.6
, pp. 1204-1223
-
-
Navet, N.1
Song, Y.2
Simonot-Lion, F.3
Wilwert, C.4
-
4
-
-
84876381637
-
Dependable automotive CANnetworks
-
N. Navet and F. Simonot-Lion, Eds. Boca Raton, FL: CRC
-
J. Pimentel, J. Proenza, L. Almeida, G. Rodriguez-Navas, M. Barranco, and J. Ferreira, "Dependable automotive CANnetworks, " in Handbook on Automotive Embedded Systems, N. Navet and F. Simonot-Lion, Eds. Boca Raton, FL: CRC, 2009.
-
(2009)
Handbook on Automotive Embedded Systems
-
-
Pimentel, J.1
Proenza, J.2
Almeida, L.3
Rodriguez-Navas, G.4
Barranco, M.5
Ferreira, J.6
-
5
-
-
77953581925
-
Networked control system: Overview and research trends
-
Jul.
-
R. A. Gupta and M.-Y. Chow, "Networked control system: Overview and research trends, " IEEE Trans. Ind. Electron., vol. 57, no. 7, pp. 2527-2535, Jul. 2010.
-
(2010)
IEEE Trans. Ind. Electron
, vol.57
, Issue.7
, pp. 2527-2535
-
-
Gupta, R.A.1
Chow, M.-Y.2
-
6
-
-
0036653889
-
CAN for critical embedded automotive networks
-
DOI 10.1109/MM.2002.1028473
-
L.-B. Fredriksson, "CAN for critical embedded automotive networks, " IEEE Micro, vol. 22, no. 4, pp. 28-35, Jul. 2002. (Pubitemid 34979922)
-
(2002)
IEEE Micro
, vol.22
, Issue.4
, pp. 28-35
-
-
Fredriksson, L.-B.1
-
7
-
-
33646726376
-
Combining operational flexibility and dependability in FTT-CAN
-
May
-
J. Ferreira, L. Almeida, J. Fonseca, P. Pedreiras, E. Martins, G. Rodriguez-Navas, J. Rigo, and J. Proenza, "Combining operational flexibility and dependability in FTT-CAN, " IEEE Trans. Ind. Informat., vol. 2, no. 2, pp. 95-102, May 2006.
-
(2006)
IEEE Trans. Ind. Informat
, vol.2
, Issue.2
, pp. 95-102
-
-
Ferreira, J.1
Almeida, L.2
Fonseca, J.3
Pedreiras, P.4
Martins, E.5
Rodriguez-Navas, G.6
Rigo, J.7
Proenza, J.8
-
8
-
-
34547809318
-
Overcoming babbling-idiot failures in CAN networks: A simple and effective bus guardian solution for the FlexCAN architecture
-
DOI 10.1109/TII.2007.904144
-
G. Buja, J. R. Pimentel, and A. Zuccollo, "Overcoming babbling-idiot failures in CAN networks: Asimple and effective bus guardian solution for the FlexCAN architecture, " IEEE Trans. Ind. Informat., vol. 3, no. 3, pp. 225-233, Sep. 2007. (Pubitemid 47237097)
-
(2007)
IEEE Transactions on Industrial Informatics
, vol.3
, Issue.3
, pp. 225-233
-
-
Buja, G.1
Pimentel, J.R.2
Zuccollo, A.3
-
9
-
-
34249859868
-
Fault-tolerant time-triggered communication using CAN
-
DOI 10.1109/TII.2007.898477
-
M. Short andM. J. Pont, "Fault-tolerant time-triggered communication using CAN, " IEEE Trans. Ind. Informat., vol. 3, no. 2, pp. 131-142, May 2007. (Pubitemid 46861085)
-
(2007)
IEEE Transactions on Industrial Informatics
, vol.3
, Issue.2
, pp. 131-142
-
-
Short, M.1
Pont, M.J.2
-
10
-
-
79951655348
-
ESCAPE CAN limitations
-
B. Hall, M. Paulitsch, K. Driscoll, and H. Sivencrona, "ESCAPE CAN limitations, " SAE Trans. J. Passenger Cars-Electron. Elect. Syst, vol. 116, pp. 422-429, 2008.
-
(2008)
SAE Trans. J. Passenger Cars-Electron. Elect. Syst
, vol.116
, pp. 422-429
-
-
Hall, B.1
Paulitsch, M.2
Driscoll, K.3
Sivencrona, H.4
-
11
-
-
44249095347
-
Orthogonal, fault-tolerant, and high-precision clock synchronization for the controller area network
-
DOI 10.1109/TII.2008.922087, 4492804
-
G. Rodriguez-Navas, S. Roca, and J. Proenza, "Orthogonal, fault-tolerant, and high-precision clock synchronization for the Controller Area Network, " IEEE Trans. Ind. Informat., vol. 4, no. 2, pp. 92-101, May 2008. (Pubitemid 351720901)
-
(2008)
IEEE Transactions on Industrial Informatics
, vol.4
, Issue.2
, pp. 92-101
-
-
Rodriguez-Navas, G.1
Roca, S.2
Proenza, J.3
-
12
-
-
51449105416
-
Extending vehicular CAN fieldbuses with delay-tolerant networks
-
Sep
-
F. Gil-Castineira, F. Gonzalez-Castano, and L. Franck, "Extending vehicular CAN fieldbuses with delay-tolerant networks, " IEEE Trans. Ind. Electron., vol. 55, no. 9, pp. 3307-3314, Sep. 2008.
-
(2008)
IEEE Trans. Ind. Electron
, vol.55
, Issue.9
, pp. 3307-3314
-
-
Gil-Castineira, F.1
Gonzalez-Castano, F.2
Franck, L.3
-
13
-
-
70449526191
-
Stochastic analysis of CAN-based real-time automotive systems
-
Nov
-
H. Zeng, M. D. Natale, P. Giusto, and A. Sangiovanni-Vincentelli, "Stochastic analysis of CAN-based real-time automotive systems, " IEEE Trans. Ind. Informat., vol. 5, no. 4, pp. 388-401, Nov. 2009.
-
(2009)
IEEE Trans. Ind. Informat
, vol.5
, Issue.4
, pp. 388-401
-
-
Zeng, H.1
Natale, M.D.2
Giusto, P.3
Sangiovanni-Vincentelli, A.4
-
14
-
-
64049119111
-
Stochastic and deterministic performance evaluation of automotive CAN communication
-
Jun
-
T. Herpel, K.-S. Hielscher, U. Klehmet, and R. German, "Stochastic and deterministic performance evaluation of automotive CAN communication, " Computer Networks, vol. 53, no. 8, pp. 1171-1185, Jun. 2009.
-
(2009)
Computer Networks
, vol.53
, Issue.8
, pp. 1171-1185
-
-
Herpel, T.1
Hielscher, K.-S.2
Klehmet, U.3
German, R.4
-
15
-
-
65849151113
-
Reducing message-length variations in resource-constrained embedded systems implemented using the Controller Area Network (CAN) protocol
-
May
-
M. Nahas, M. J. Pont, and M. Short, "Reducing message-length variations in resource-constrained embedded systems implemented using the Controller Area Network (CAN) protocol, " J. Syst. Architecture, vol. 55, no. 5-6, pp. 344-354, May 2009.
-
(2009)
J. Syst. Architecture
, vol.55
, Issue.5-6
, pp. 344-354
-
-
Nahas, M.1
Pont, M.J.2
Short, M.3
-
16
-
-
78149469355
-
Runtime allocation of optional control jobs to a set of CAN-based networked control systems
-
Nov.
-
P. Marti, A. Camacho, M. Velasco, andM. E. M. B. Gaid, "Runtime allocation of optional control jobs to a set of CAN-based networked control systems, " IEEE Trans. Ind. Informat., vol. 6, no. 4, pp. 503-520, Nov. 2010.
-
(2010)
IEEE Trans. Ind. Informat
, vol.6
, Issue.4
, pp. 503-520
-
-
Marti, P.1
Camacho, A.2
Velasco, M.3
Gaid, M.E.M.B.4
-
17
-
-
78149469473
-
Using statistical methods to compute the probability distribution of message response time in Controller Area Network
-
Nov.
-
H. Zeng, M. D. Natale, P. Giusto, and A. Sangiovanni-Vincentelli, "Using statistical methods to compute the probability distribution of message response time in Controller Area Network, " IEEE Trans. Ind. Informat., vol. 6, no. 4, pp. 678-691, Nov. 2010.
-
(2010)
IEEE Trans. Ind. Informat
, vol.6
, Issue.4
, pp. 678-691
-
-
Zeng, H.1
Natale, M.D.2
Giusto, P.3
Sangiovanni-Vincentelli, A.4
-
18
-
-
78649321196
-
Security threats to automotive CAN networks-Practical examples and selected short-term countermeasures
-
Jan.
-
T. Hoppe, S. Kiltz, and J. Dittmann, "Security threats to automotive CAN networks-Practical examples and selected short-term countermeasures, " Reliabil. Eng. Syst. Safety, vol. 96, no. 1, pp. 11-25, Jan. 2011.
-
(2011)
Reliabil. Eng. Syst. Safety
, vol.96
, Issue.1
, pp. 11-25
-
-
Hoppe, T.1
Kiltz, S.2
Dittmann, J.3
-
19
-
-
80655146434
-
Impact of clock drifts on CAN frame response time distributions
-
A. Monot, N. Navet, and B. Bavoux, "Impact of clock drifts on CAN frame response time distributions, " in Proc. 16th IEEE Int. Conf. Emerging Technol. Factory Automation, 2011, pp. 1-4.
-
(2011)
Proc. 16th IEEE Int. Conf. Emerging Technol. Factory Automation
, pp. 1-4
-
-
Monot, A.1
Navet, N.2
Bavoux, B.3
-
20
-
-
67649866317
-
Boosting the robustness of Controller Area Networks: CANcentrate and ReCANcentrate
-
May
-
M. Barranco, J. Proenza, and L. Almeida, "Boosting the robustness of Controller Area Networks: CANcentrate and ReCANcentrate, " Computer, vol. 42, no. 5, pp. 66-73, May 2009.
-
(2009)
Computer
, vol.42
, Issue.5
, pp. 66-73
-
-
Barranco, M.1
Proenza, J.2
Almeida, L.3
-
21
-
-
33646732679
-
An active star topology for improving fault confinement in CAN networks
-
May
-
M. Barranco, J. Proenza, G. Rodriguez-Navas, and L. Almeida, "An active star topology for improving fault confinement in CAN networks, " IEEE Trans. Ind. Informat., vol. 2, no. 2, pp. 78-85, May 2006.
-
(2006)
IEEE Trans. Ind. Informat
, vol.2
, Issue.2
, pp. 78-85
-
-
Barranco, M.1
Proenza, J.2
Rodriguez-Navas, G.3
Almeida, L.4
-
22
-
-
79951622639
-
Quantitative comparison of the error-containment capabilities of a bus and a star topology in CAN networks
-
Mar.
-
M. Barranco, J. Proenza, and L. Almeida, "Quantitative comparison of the error-containment capabilities of a bus and a star topology in CAN networks, " IEEE Trans. Ind. Electron., vol. 58, no. 3, pp. 802-813, Mar. 2011.
-
(2011)
IEEE Trans. Ind. Electron
, vol.58
, Issue.3
, pp. 802-813
-
-
Barranco, M.1
Proenza, J.2
Almeida, L.3
-
23
-
-
77957603494
-
Reliability improvement achievable in CAN-based systems by means of the ReCANcentrate replicated star topology
-
May
-
M. Barranco, J. Proenza, and L. Almeida, "Reliability improvement achievable in CAN-based systems by means of the ReCANcentrate replicated star topology, " in Proc. 8th IEEE Int. Workshop Factory Commun. Syst., May 2010, pp. 99-108.
-
(2010)
Proc. 8th IEEE Int. Workshop Factory Commun. Syst.
, pp. 99-108
-
-
Barranco, M.1
Proenza, J.2
Almeida, L.3
-
24
-
-
80655139081
-
Towards understanding the sensitivity of the reliability achievable by simplex and replicated star topologies in CAN
-
M. Barranco and J. Proenza, "Towards understanding the sensitivity of the reliability achievable by simplex and replicated star topologies in CAN, " in Proc. 16th IEEE Int. Conf. Emerging Technol. Factory Automation, 2011, pp. 1-4.
-
(2011)
Proc. 16th IEEE Int. Conf. Emerging Technol. Factory Automation
, pp. 1-4
-
-
Barranco, M.1
Proenza, J.2
-
25
-
-
84871791839
-
-
CAN Specification Version 2. 0. Robert Bosch GmbH
-
CAN Specification Version 2. 0. Robert Bosch GmbH, 1991.
-
(1991)
-
-
-
26
-
-
84995457487
-
Fault-tolerant broadcasts in CAN
-
Washington DC
-
J. Rufino, P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, "Fault-tolerant broadcasts in CAN, " in FTCS '98: Proc. 28th Annu. Int. Symp. Fault-Tolerant Computing., Washington, DC, 1998, pp. 150-150.
-
(1998)
FTCS '98: Proc. 28th Annu. Int. Symp. Fault-Tolerant Computing
, pp. 150-150
-
-
Rufino, J.1
Verissimo, P.2
Arroz, G.3
Almeida, C.4
Rodrigues, L.5
-
27
-
-
4944255445
-
MajorCAN: A modification to the Controller Area Network protocol to achieve atomic broadcast
-
Taipei, Taiwan
-
J. Proenza and J. Miro-Julia, "MajorCAN: A modification to the Controller Area Network protocol to achieve atomic broadcast, " in Proc. IEEE Int. Workshop Group Commun. Computations, Taipei, Taiwan, 2000, pp. 72-79.
-
(2000)
Proc. IEEE Int. Workshop Group Commun. Computations
, pp. 72-79
-
-
Proenza, J.1
Miro-Julia, J.2
-
28
-
-
78650546923
-
First prototype and experimental assessment of media management in ReCANcentrate
-
Factory Automation, Bilbao, Spain
-
M. Barranco, D. Gessner, J. Proenza, and L. Almeida, "First prototype and experimental assessment of media management in ReCANcentrate, " in Proc. 15th IEEE Int. Conf. Emerging Technol. Factory Automation, Bilbao, Spain, 2010, pp. 1-8.
-
(2010)
Proc. 15th IEEE Int. Conf. Emerging Technol
, pp. 1-8
-
-
Barranco, M.1
Gessner, D.2
Proenza, J.3
Almeida, L.4
-
29
-
-
77952010009
-
On formal analysis of IEC 61499 applications, Part A: Modeling
-
May
-
G. Cengic and K. Akesson, "On formal analysis of IEC 61499 applications, Part A: Modeling, " IEEE Trans. on Industrial Informatics, vol. 6, no. 2, pp. 136-144, May 2010.
-
(2010)
IEEE Trans. on Industrial Informatics
, vol.6
, Issue.2
, pp. 136-144
-
-
Cengic, G.1
Akesson, K.2
-
30
-
-
77952010161
-
On formal analysis of IEC 61499 applications, Part B: Execution semantics
-
May
-
G. Cengic and K. Akesson, "On formal analysis of IEC 61499 applications, Part B: Execution semantics, " IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 145-154, May 2010.
-
(2010)
IEEE Trans. Ind. Informat
, vol.6
, Issue.2
, pp. 145-154
-
-
Cengic, G.1
Akesson, K.2
-
31
-
-
77952012212
-
Modeling distributed transportation systems composed of flexible automated guided vehicles in flexible manufacturing systems
-
May
-
D. Herrero-Perez and H. Martinez-Barbera, "Modeling distributed transportation systems composed of flexible automated guided vehicles in flexible manufacturing systems, " IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 166-180, May 2010.
-
(2010)
IEEE Trans. Ind. Informat
, vol.6
, Issue.2
, pp. 166-180
-
-
Herrero-Perez, D.1
Martinez-Barbera, H.2
-
32
-
-
77952103600
-
Toward correctness in the specification and handling of non-functional attributes of high-integrity real-time embedded systems
-
May
-
D. Cancila, R. Passerone, T. Vardanega, and M. Panunzio, "Toward correctness in the specification and handling of non-functional attributes of high-integrity real-time embedded systems, " IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 181-194, May 2010.
-
(2010)
IEEE Trans. Ind. Informat
, vol.6
, Issue.2
, pp. 181-194
-
-
Cancila, D.1
Passerone, R.2
Vardanega, T.3
Panunzio, M.4
-
33
-
-
77952012371
-
Observability of switched linear systems
-
May
-
D. Gomez-Gutierrez, G. Ramirez-Prado, A. Ramirez-Trevio, and J. Ruiz-Leon, "Observability of switched linear systems, " IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 127-135, May 2010.
-
(2010)
IEEE Trans. Ind. Informat
, vol.6
, Issue.2
, pp. 127-135
-
-
Gomez-Gutierrez, D.1
Ramirez-Prado, G.2
Ramirez-Trevio, A.3
Ruiz-Leon, J.4
-
34
-
-
77955708328
-
An automated framework for formal verification of timed continuous petri nets
-
Aug.
-
M. Kloetzer, C. Mahulea, C. Belta, and M. Silva, "An automated framework for formal verification of timed continuous petri nets, " IEEE Trans. Ind. Informat., vol. 6, no. 3, pp. 460-471, Aug. 2010.
-
(2010)
IEEE Trans. Ind. Informat
, vol.6
, Issue.3
, pp. 460-471
-
-
Kloetzer, M.1
Mahulea, C.2
Belta, C.3
Silva, M.4
-
35
-
-
80052981982
-
Controller Area Network (CAN) schedulability analysis with FIFO queues
-
R. Davis, S. Kollmann, and V. Pollex, "Controller Area Network (CAN) schedulability analysis with FIFO queues, " in Proc. Euromicro Conf. Real-Time Syst., 2011, pp. 45-46.
-
(2011)
Proc. Euromicro Conf. Real-Time Syst
, pp. 45-46
-
-
Davis, R.1
Kollmann, S.2
Pollex, V.3
-
36
-
-
33846861495
-
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised
-
DOI 10.1007/s11241-007-9012-7
-
R. Davis, A. Burns, R. Bril, and J. Lukkien, "Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised, " Real-Time Syst., vol. 35, pp. 239-272, 2007. (Pubitemid 46223453)
-
(2007)
Real-Time Systems
, vol.35
, Issue.3
, pp. 239-272
-
-
Davis, R.I.1
Burns, A.2
Bril, R.J.3
Lukkien, J.J.4
-
38
-
-
35048862279
-
-
Berlin, Germany: Springer
-
G. Behrmann, A. David, and K. G. Larsen, A Tutorial onUPPAAL, ser. Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science. Berlin, Germany: Springer, 2004, pp. 200-237.
-
(2004)
A Tutorial OnUPPAAL, Ser. Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science
, pp. 200-237
-
-
Behrmann, G.1
David, A.2
Larsen, K.G.3
-
39
-
-
17744381213
-
Timed automata approach to real time distributed system verification
-
2004 IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS 2004
-
J. Krakora, L. Waszniowski, P. Pisa, and Z. Hanzalek, "Timed automata approach to real time distributed system verification, " in Proc. 5th IEEE Int. Workshop Factory Commun. Syst., 2004, pp. 407-410. (Pubitemid 40575256)
-
(2004)
IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
, pp. 407-410
-
-
Krakora, J.1
Waszniowski, L.2
Pisa, P.3
Hanzalek, Z.4
-
40
-
-
33847296285
-
Using UPPAAL to model and verify a clock synchronization protocol for the Controller Area Network
-
G. Rodriguez-Navas, J. Proenza, and H. Hansson, "Using UPPAAL to model and verify a clock synchronization protocol for the Controller Area Network, " in Proc. 10th IEEE Conf. Emerging Technol. Factory Automation, 2005, vol. 2, pp. 495-502.
-
(2005)
Proc. 10th IEEE Conf. Emerging Technol. Factory Automation
, vol.2
, pp. 495-502
-
-
Rodriguez-Navas, G.1
Proenza, J.2
Hansson, H.3
-
41
-
-
41549160372
-
An UPPAAL model for formal verification of master/slave clock synchronization over the Controller Area Network
-
1704117, WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems, Proceedings
-
G. Rodriguez-Navas, J. Proenza, and H. Hansson, "An UPPAALmodel for formal verification of master/slave clock synchronization over the Controller Area Network, " in Proc. 6th IEEE Int. Workshop Factory Commun. Syst., 2006, pp. 3-12. (Pubitemid 351470949)
-
(2006)
IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
, pp. 3-12
-
-
Rodriguez-Navas, G.1
Proenza, J.2
Hansson, H.3
-
42
-
-
47849116470
-
Modelling majorCAN with UPPAAL
-
M. Bonet, G. Donaire, and J. Proenza, "Modelling MajorCAN with UPPAAL, " in Proc. 12th IEEE Conf. Emerging Technol. Factory Automation, 2007, pp. 1404-1407.
-
(2007)
Proc. 12th IEEE Conf. Emerging Technol. Factory Automation
, pp. 1404-1407
-
-
Bonet, M.1
Donaire, G.2
Proenza, J.3
-
43
-
-
33750953827
-
Modeling and verification of a time-triggered networking protocol
-
G. Leen and D. Heffernan, "Modeling and verification of a time-triggered networking protocol, " in Proc. Int. Conf. Netw., Int. Conf. Syst. Int. Conf. Mobile Commun. Learning Technol., 2006, vol. 2, p. 178.
-
(2006)
Proc. Int. Conf. Netw., Int. Conf. Syst. Int. Conf. Mobile Commun. Learning Technol
, vol.2
, pp. 178
-
-
Leen, G.1
Heffernan, D.2
-
44
-
-
84871730116
-
-
Master's thesis, Dept. Math. Informat., Universitat de les Illes Balears, Palma de Mallorca, Spain
-
D. Gessner, "Design and verification by means of model checking of ReCANdrv: A media redundancy management driver for the nodes of a ReCANcentrate network, " Master's thesis, Dept. Math. Informat., Universitat de les Illes Balears, Palma de Mallorca, Spain, 2011.
-
(2011)
Design and Verification by Means of Model Checking of ReCANdrv: A Media Redundancy Management Driver for the Nodes of A ReCANcentrate Network
-
-
Gessner, D.1
-
45
-
-
84871801449
-
-
ReCANdrv UPPAAL Model File 2011 [Online] Available:
-
ReCANdrv UPPAAL Model File 2011 [Online]. Available: http://dmi. uib. es/jproenza/archive/UppaalModelReCANdrv/reCANdrv. zip
-
-
-
|