search-head

Sie sind hier: Homepage >  Suche

British Library Conference Proceedings   Physik   Informatik   Elektrotechnik   Auswahl aufheben
1–50 von 358 Ergebnissen
|
Sortieren:

    Verification of Solid State Interlocking Programs

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

    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

    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

    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

    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-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-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-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-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

    2009-01-0264 SAE J2746 Software Assessment Repository

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

    2009-01-0123 An Automotive Network Management Interoperable Solution

    Bahig, G. / Shokry, H. / Nassar, M. et al. | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle 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-0268 Optimal Scheduling in Graphical Modeling Environments

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

    2009-01-0124 Control Performance Analysis of a CAN - Based Networked Control System: Active Suspension Study Case

    Ramirez-Mendoza, R.A. / Morales-Menendez, R. / Tager, J. et al. | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    2009-01-0269 Fixed-Point ECU Code Optimization and Verification with Model-Based Design

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

    2009-01-0125 Single-Edge Nibble Transmission: Challenges and Evolutions

    Beaurenaut, L. / Eggiman, C. / Gastinger, F. et al. | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    2009-01-0272 Secure Software Flashing

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

    2009-01-0267 Automated Checking of MISRA TargetLink and AUTOSAR Guidelines

    Sturmer, I. / Stamatov, S. / Eissemann, U. et al. | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    2009-01-0273 Implementation of Software Timers in Model-Based Design for Body Control Software Applications

    Yang, J. / Bauman, J. / Beydoun, A. et al. | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    2009-01-0270 ``Standardizing the Datasheet'' Towards Auto-Code Generation Efficiency

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

    2009-01-0262 Secure Feature Activation

    Schramm, K. / Wolf, M. / Society of Automotive Engineers | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    2009-01-0126 Design and Performance Analysis of 10 Mbit/s CAN

    Kurachi, R. / Takada, H. / Teshima, S. et al. | British Library Conference Proceedings | 2009
    Schlagwörter: In-vehicle software

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, M. / Fischmeister, S. / Kim, J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Modeling with the Timing Definition Language (TDL)

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer

    Ferdinand, C. / Heckmann, R. / Wolff, H.-J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

    Subramonian, V. / Gill, C. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    2008-01-0275 Real-Time Optimization of TTCAN Networks

    Acheson, H. / Manning, J. / Society of Automotive Engineers | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    2008-01-0220 A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry

    Rao, A.C. / McMurran, R. / Jones, R.P. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    2008-01-0278 Performance Evaluation of IEEE 802.15.4/ZigBee Protocol for Automotive Applications

    Mohammad, U. / Al-Holou, N. / Balas, C. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    2008-01-0105 Applying an Automatic Inspection Environment for Automotive Platforms

    Morikawa, A. / Mizuno, T. / Kataoka, A. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

    Neema, S. / Birla, S. / Wang, S. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K.V. / Giuli, T.J. / Watson, D. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    2008-01-0385 Code Generation for Safety-Critical Systems - Open Questions and Possible Solutions

    Fey, I. / Sturmer, I. / Society of Automotive Engineers | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    2008-01-0221 Model-Based Development of AUTOSAR-Compliant Applications: Exterior Lights Module Case Study

    Rai, D. / Jestin, T.K. / Vitkin, L. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    2008-01-0381 Efficient CAN Protocol Development Process

    Cortese, D. / Kumar, S. / Fabbri, P. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    2008-01-0273 Software Reuse in Development of In-Vehicle Network Analyzer

    Chen, X. / Lee, T. / Kim, E. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    2008-01-0383 Development of AUTOSAR Software Components within Model-Based Design

    Sandmann, G. / Thompson, R. / Society of Automotive Engineers | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

    2008-01-0274 Simulation of LIN Clusters for Reducing In-Vehicle Network Development and Validation Costs

    Moschella, A. / Society of Automotive Engineers | British Library Conference Proceedings | 2008
    Schlagwörter: In vehicle software

Ergebnisse anzeigen
10 20

Suchergebnisse filtern