1–20 von 300 Ergebnissen
|

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    2010-01-0690 FlexRay Transceiver Behavior Modeling for Virtual Hardware Prototyping and Verification of Vehicle FlexRay Network Topologies

    Kelly, B. / Duliere, J. / Gerke, T. et al. | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0671 Use of AUTOSAR Framework to Assist Software Field Programming

    Menon, S.U. / Society of Automotive Engineers | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0668 Improving OEM/Supplier Relationships by Efficient Use of Model-Based Techniques

    Loechner, J. / Jaikamal, V. / Fleming, W. et al. | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0691 Synchronous Switched Scheduling with Heterogeneous Cycle Configurations for Efficient Bandwidth Usage in a FlexRay Cluster

    Tabanoglu, G. / Society of Automotive Engineers | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0688 Non-standard CAN Network Topologies Verification at High Speed Transmission Rate using VHDL-AMS

    Nguyen, T. / Pelz, G. / Society of Automotive Engineers | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0673 Signal Processing for Rough Road Detection

    Assaf, T. / Mathews, D. / Naik, S. et al. | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0686 Domain Control Units - the Solution for Future E/E Architectures?

    Stolz, W. / Kornhaas, R. / Krause, R. et al. | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0685 Message Packing Algorithm for CAN-Based Legacy Control Systems Mixed with CAN and FlexRay

    Ishigooka, T. / Narisawa, F. / Society of Automotive Engineers | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0687 In-Vehicle Networking Technology for 2010 and Beyond

    Lupini, C.A. / Society of Automotive Engineers | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2010-01-0689 Standardization Proposal for ``Automotive-Grade AVRCP'' with Respect to In-Car use of Bluetooth Devices

    LaRussa, J.J. / Gabel, M. / Society of Automotive Engineers | British Library Conference Proceedings | 2010
    Schlagwörter: Software

    2009-01-0122 Modelling of Network Communications Stack Software ROM and RAM Requirements

    Quigley, C. / McMurran, R. / Jones, R.P. et al. | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    2009-01-0271 A Verification and Validation Workflow for IEC 61508 Applications

    Conrad, M. / Sandmann, G. / Society of Automotive Engineers | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    2009-01-0265 Software Optimization Techniques in Automotive Applications

    Wang, G. / Society of Automotive Engineers | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    2009-01-0266 Integration of Hardware Specific Features of Microcontroller into the AUTOSAR Standard

    Wang, G. / Society of Automotive Engineers | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software