MMB & DFT 2012 Workshop Proceedings

Recommendations

Info

Workshop Proceedings of the 16 th International GI/ITG Conference on Measurement,Modelling and Evaluation of Computing Systems and Dependabilityand Fault Tolerance.Includes the proceedings of the Workshop on Network Calculus (WoNeCa),the Workshop on Physically-augmented Security for Wireless Networks(PILATES) and the Workshop on Modeling and Analysis of Complex ReactionNetworks (MACoRN).Kaiserslautern, GermanyMarch 2012ISBN: 978-3-00-037728-0Technical Report Number: 388/12
Table of ContentsPreface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3WoNeCaUsing Network Calculus to Model Energy HarvestingWireless Sensor Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7Network Calculus: Application to an IndustrialAutomation Network . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9Estimation of Statistical Bandwidth through BacklogMeasurement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11ContainerMinMaxGD: a Toolbox for (Min,+)-LinearSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15PILATESJoint Physical Layer Security, Primary UserAuthentication and Interleaving for OFDM . . . . . . . . . . 21On Enhancing the Reliability of Key ExtractionMechanisms from Wireless Channels . . . . . . . . . . . . . . . . . . 25Practical Message Manipulation Attacks in IEEE802.15.4 Wireless Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29MACoRNKronecker-based Innite Level-dependent QBDs:Matrix Analytic Solution versus Simulation . . . . . . . . . . 35The Monte Carlo EM Method for the ParameterEstimation of Biological Models . . . . . . . . . . . . . . . . . . . . . . . . 37Robustness Analysis for Biological Systems - fromQualitative to Quantitative Models . . . . . . . . . . . . . . . . . . . . 391
Page 1: MMB & DFT 2012Workshop ProceedingsW
Page 7: WoNeCa
Page 10 and 11: We aim to use network calculus to m
Page 12 and 13: and links, that can be used to buil
Page 14: whereR ⊗ ˜S(t) = inf τ[R(τ) +
Page 18 and 19: A function f is approximated by a c
Page 21: PILATES
Page 24 and 25: 2 Joint PHY Layer Security, PU Auth
Page 26: 4 Joint PHY Layer Security, PU Auth
Page 29: Key Generation from Wireless Channe
Page 32 and 33: Sender Preamble SFD Header 0 0 0 0
Page 35: MACoRN
Page 39: The Monte Carlo EM Method for the P
Page 44: ISBN: 978-3-00-037728-0

MMB & DFT 2012 Workshop Proceedings

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?