However, model-based development is

However, model-based development is not without risk. It is not obviously clear whether a seamless development process from early design to final target code is feasible: Some design steps might demand knowledge of environment properties which are difficult to formalize. Design steps in the later phases will require precise knowledge of the target platform, for instance to access device drivers or in order to estimate the worst case execution times which are needed as input for scheduling algorithms. Even if this knowledge is formalized and incorporated into the product model—as, for example, partly done in the Giotto language —, more pragmatic problems, like the integration of legacy code, tailoring to customer-specific coding and certification standards or possibly just idiosyncrasies in compiler or operating system technologies can hamper our ideal of a seamless process.

ผลลัพธ์ (ไทย) 1:

อย่างไรก็ตาม ตามแบบจำลองพัฒนาได้โดยปราศจากความเสี่ยง มันไม่แน่นอนชัดเจนว่ากระบวนการพัฒนาต่อเนื่องจากการออกแบบช่วงรหัสเป้าหมายสุดท้ายคือเป็นไปได้: ขั้นตอนการออกแบบบางอย่างอาจต้องรู้คุณสมบัติสภาพแวดล้อมที่ยาก formalize ได้ ออกแบบขั้นตอนในระยะหลังจะต้องมีความรู้แม่นยำของแพลตฟอร์มเป้าหมาย ตัวอย่างการเข้าถึงโปรแกรมควบคุมอุปกรณ์ หรือเพื่อประเมินการดำเนินการกรณีเลวร้ายที่สุดเท่าที่จำเป็นเป็นข้อมูลป้อนเข้าสำหรับอัลกอริทึมการจัดกำหนดการ แม้ว่าความรู้นี้อย่างเป็นทาง และรวมอยู่ในรุ่นผลิตภัณฑ์ — เป็น เช่น บางส่วนทำภาษา Giotto —, ปัญหาปฏิบัติ เช่นการรวมของรหัสเก่า ปรับปรุงเฉพาะลูกค้ากำหนดและรับรองมาตรฐานหรืออาจเพียง idiosyncrasies ในเทคโนโลยีหรือระบบปฏิบัติการของคอมไพเลอร์สามารถขัดขวางของเราเหมาะการจำแนก

ผลลัพธ์ (ไทย) 2:

อย่างไรก็ตามการพัฒนาแบบที่ใช้ไม่ได้โดยไม่มีความเสี่ยง มันไม่ได้เป็นที่เห็นได้ชัดชัดเจนว่ากระบวนการในการพัฒนาที่ไร้รอยต่อจากการออกแบบก่อนที่จะรหัสเป้าหมายสุดท้ายคือเป็นไปได้: บางขั้นตอนการออกแบบอาจเรียกร้องความรู้เกี่ยวกับคุณสมบัติของสภาพแวดล้อมซึ่งเป็นเรื่องยากที่จะทำพิธี ขั้นตอนการออกแบบในขั้นตอนต่อมาจะต้องใช้ความรู้ที่แม่นยำของแพลตฟอร์มเป้าหมายตัวอย่างเช่นในการเข้าถึงโปรแกรมควบคุมอุปกรณ์หรือเพื่อประเมินกรณีเลวร้ายที่สุดเวลาการดำเนินการที่มีความจำเป็นเป็น input สำหรับการจัดตารางอัลกอริทึม แม้ว่าความรู้นี้เป็นกรงเล็บและรวมอยู่ในรูปแบบเป็นผลิตภัณฑ์เช่นทำบางส่วนในภาษา Giotto - ปัญหาในทางปฏิบัติมากขึ้นเช่นการรวมกลุ่มของรหัสเดิม, การตัดเย็บการเข้ารหัสที่เฉพาะเจาะจงของลูกค้าและมาตรฐานการรับรองหรืออาจจะเป็นเพียงแค่นิสัย ในคอมไพเลอร์หรือเทคโนโลยีระบบปฏิบัติการที่สามารถขัดขวางเหมาะของเรากระบวนการราบรื่น

ผลลัพธ์ (ไทย) 3:

อย่างไรก็ตาม สำหรับการพัฒนาเป็นไม่ได้โดยไม่มีความเสี่ยง ไม่ใช่แน่นอนชัดเจนว่ากระบวนการพัฒนาจากการออกแบบที่ไร้รอยต่อต้นรหัส เป้าหมายสุดท้ายคือความคุ้มค่า : บางขั้นตอนการออกแบบอาจความต้องการความรู้ของสภาพแวดล้อม คุณสมบัติที่ยากจะทำให้เป็นรูปเป็นร่าง . ขั้นตอนการออกแบบในขั้นตอนภายหลัง จะต้องใช้ความรู้ที่แม่นยำของแพลตฟอร์มเป้าหมายตัวอย่างการเข้าถึงไดรเวอร์ของอุปกรณ์ หรือ เพื่อประเมินกรณีเลวร้ายที่สุดการดำเนินการครั้งซึ่งเป็นสถิติสำหรับขั้นตอนวิธีการ . แม้ว่าความรู้นี้อย่างมีระเบียบแบบแผน และรวมเข้าไปในรูปแบบของผลิตภัณฑ์เป็น ตัวอย่างบางส่วนทำในภาษา - จ๊อตโต้ , ปัญหาในทางปฏิบัติมากขึ้นเช่นการรวมของรหัสแบบดั้งเดิมการตัดเย็บให้กับลูกค้าเฉพาะการเข้ารหัสและการรับรองมาตรฐาน หรืออาจจะแค่ idiosyncrasies เทคโนโลยีคอมไพเลอร์หรือระบบปฏิบัติการที่สามารถ hamper อุดมคติของเราของกระบวนการที่ไม่มีรอยต่อ