Computer Safety, Reliability, and Security: 19th International Conference, Safecomp 2000, Rotterdam, the Netherlands, October 24-27, 2000 Proceedings

WelcometoRotterdamandtotheInternationalConferenceSafecomp2000, on thereliability, safetyandsecurityofcriticalcomputerapplications. Thisalready marksthe19thyearoftheconference, showingtheundiminishedinterestthe topicelicitsfrombothacademiaandindustry. Safecomphasproventobean excellentplacetomeetandhavediscussions, andwehopethistrendcontinues thisyear. Peopleandorganisationsdependmoreandmoreonthefunctioningofc- puters. Whetherinhouseholdequipment, telecommunicationsystems, o?ce- plications, banking, peoplemovers, ... Read More

WelcometoRotterdamandtotheInternationalConferenceSafecomp2000, on thereliability, safetyandsecurityofcriticalcomputerapplications. Thisalready marksthe19thyearoftheconference, showingtheundiminishedinterestthe topicelicitsfrombothacademiaandindustry. Safecomphasproventobean excellentplacetomeetandhavediscussions, andwehopethistrendcontinues thisyear. Peopleandorganisationsdependmoreandmoreonthefunctioningofc- puters. Whetherinhouseholdequipment, telecommunicationsystems, o?ce- plications, banking, peoplemovers, processcontrolormedicalsystems, theoft- embeddedcomputersubsystemsaremeanttoletthehostingsystemrealiseits intendedfunctions. Theassuranceofproperfunctioningofcomputersin- pendableapplicationsisfarfromobvious. Themillenniumstartedwiththebug andthefullendorsementoftheframeworkstandardIEC61508. Thevariety ofdependablecomputerapplicationsincreasesdaily, andsodoesthevarietyof risksrelatedtotheseapplications. Theassessmentoftheserisksthereforeneeds re?ectionandpossiblynewapproaches. Thisyear'sSafecompprovidesabroad mixofpapersontheseissues, onprogressmadeindi?erentapplicationdomains andonemergingchallenges. Oneofthespecialtopicsthisyearistransportandinfrastructure. Onewould behardpressedto?ndabetterplacetodiscussthisthaninRotterdam. The reliability, safetyandsecurityofcomputersisofprominentimportancetoRott- dam, asafewexamplesillustrate. Itsharbourdependsonthereliablefunctioning ofcontainerhandlingsystems, onthesafefunctioningofitsradarsystems, and, asofrecently, onthesafeandreliablefunctioningoftheenormousstormsurge barrieratHoekvanHolland. AnewtopicforSafecompis medicalsystems. Theseprogressivelydepend on-embedded-programmableelectronicsystems. Experienceshowsthatthe medicalworldlacksthemethodsforapplyingthesesystemssafelyandreliably. Wewelcomeagroupofpeoplereadytodiscussthistopic, andhope, bydoing so, tocontributetothis?eldofapplicationsofsafe, reliableandsecuresystems. SoftwareprocessimprovementalsorepresentsaspecialtopicofSafecomp 2000. Itprovedtobethemostfruitfulofthethreeintermsofsubmittedpapers. Thereweremanycontributionsfromahostofcountries, whichhadtobespread amongstdi?erentsessiontopics. WewishtothanktheInternationalProgramCommittee'smembers,41in total, fortheire?ortsinreviewingthepapersandfortheirvaluableadvicein organisingthisconference. Wearealsogratefulfortheircontributiontod- tributingcallsforpapersandannouncements. Withouttheirhelptheburdenof organisingthisconferencewouldhavebeenmuchgreater. VI Preface Finally, letusonceagainwelcomeyoutoRotterdam, atrulyinternational cityandhometopeopleofmanynationalities. Wehopeyoutakethetimenot onlytoenjoythisconference, butalsoto?ndyourwayaroundthecity, sinceit surelyhasmuchtoo?er. FloorKoornneef MeinevanderMeulen Table of Contents InvitedPaper TheTenMostPowerfulPrinciplesforQualityin(Softwareand) SoftwareOrganizationsforDependableSystems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 TomGilb Veri?cationandValidation EmpiricalAssessmentofSoftwareOn-LineDiagnostics UsingFaultInjection. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 JohnNapier, JohnMayandGordonHughes Speeding-UpFaultInjectionCampaignsinVHDLModels. . . . . . . . . . . . . . . . . . 27 B. Parrotta, M. Rebaudengo, M. SonzaReordaandM. Violante Speci?cationandVeri?cationofaSafetyShellwithStatechartsand ExtendedTimedGraphs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 JanvanKatwijk, HansToetenel, Abd-El-KaderSahraoui, EricAnderson andJanuszZalewski Read Less

• All from $48.85
• New Books from $51.65
• Used Books from $48.85
• Rare Books from $87.71

• All Copies (2)
• Softcover (2)
• Choose Edition (1)

• Book Details
• Seller
• Sort Seller Rating Price: Low to High Price: High to Low Pub Date Pub Date: Reverse Sellers Near Me

• Trade paperback, New 2000, Springer ISBN-13: 9783540411864 See Item Details ▾

  Alibris BEST NV, USA

  $51.65 $119.00 Add to Cart Add this copy of Computer Safety, Reliability, and Security: 19th to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2000 by Springer.

  	Edition: 2000, Springer Trade paperback, New Available Copies: 10+	Details: ISBN: 3540411860 ISBN-13: 9783540411864 Pages: 438 Edition: 2000 edition Publisher: Springer Published: 2000 Language: English Alibris ID: 12174061548	Shipping Options: Standard Shipping: $4.99 Trackable Expedited: $9.99 Two Day Air: $29.99 Choose your shipping method in Checkout. Costs may vary based on destination.
  Seller's Description: New. Print on demand Trade paperback (US). Glued binding. 438 p. Lecture Notes in Computer Science, 1943.
  ► Contact This Seller
  Hide Details ▴

• Trade paperback, New 2000, Springer ISBN-13: 9783540411864 See Item Details ▾

  Ria Christie Books BEST Uxbridge, MIDDLESEX, UNITED KINGDOM

  $70.53 $119.00 Add to Cart Add this copy of Computer Safety, Reliability, and Security: 19th to cart. $70.53, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2000 by Springer.

  	Edition: 2000, Springer Trade paperback, New Available Copies: 10+	Details: ISBN: 3540411860 ISBN-13: 9783540411864 Pages: 438 Edition: 2000 edition Publisher: Springer Published: 2000 Language: English Alibris ID: 18570781180	Shipping Options: Standard Shipping: $4.99 Choose your shipping method in Checkout. Costs may vary based on destination.
  Seller's Description: New. Trade paperback (US). Glued binding. 438 p. Lecture Notes in Computer Science, 1943.
  ► Contact This Seller
  Hide Details ▴

2000, Springer, Berlin, Heidelberg ISBN-13: 9783540411864 2000 edition Trade paperback See All from $48.85