6.5 Formal Methods ISO CMM CASE and Process Improvement PSC Computer Engineer परीक्षामा सीधा MCQ, short answer र long answer दुवै कोणबाट महत्त्वपूर्ण छ। यो नोटले पहिले शब्दको स्पष्ट परिभाषा दिन्छ, त्यसपछि exam-oriented तरिकाले concept, comparison, examples र revision points मिलाउँछ।

मुख्य परिभाषा

Formal Methods ISO CMM CASE and Process Improvement

Standard definition: Formal Methods ISO CMM CASE and Process Improvement is a core concept in the PSC Computer Engineer syllabus that explains principles, structures, processes, and practical use in computing systems.

सरल अर्थ: Formal Methods ISO CMM CASE and Process Improvement भनेको कम्प्युटर इन्जिनियरले प्रणाली कसरी बनाउने, चलाउने, सुरक्षित राख्ने वा विश्लेषण गर्ने भन्ने बुझ्नुपर्ने आधारभूत विषय हो।

Process

Standard definition: A process is a program in execution with its own address space and resources.

सरल अर्थ: चलिरहेको program र त्यसको resource context।

Deadlock

Standard definition: Deadlock is a state where processes wait indefinitely for resources held by each other.

सरल अर्थ: एक-अर्काको resource कुर्दा process अगाडि नबढ्ने अवस्था।

सरल व्याख्या

OS लाई resource manager मान्नुहोस्। Scheduling ले CPU बाँड्छ, synchronization ले shared data बचाउँछ, memory management ले RAM/virtual memory मिलाउँछ, file system ले disk data organize गर्छ, security ले access रोक्छ।

How To Study This Topic

  • Process state diagram बनाउनुहोस्।
  • Scheduling Gantt chart practice गर्नुहोस्।
  • Deadlock four conditions example सहित याद गर्नुहोस्।
  • Paging vs segmentation table बनाउनुहोस्।

Detailed Topic Breakdown

  • Process lifecycle: new, ready, running, waiting, terminated।
  • Scheduling: FCFS, SJF, Priority, Round Robin।
  • Synchronization: critical section, semaphore, mutex।
  • Deadlock: prevention, avoidance, detection, recovery।
  • Memory: paging, segmentation, virtual memory।
  • Formal Methods ISO CMM CASE: definition, purpose, working process, important terms, advantages, limitations and one practical example तयार गर्नुहोस्।
  • Process Improvement: definition, purpose, working process, important terms, advantages, limitations and one practical example तयार गर्नुहोस्।
  • Diagram/table practice: यो topic मा model, flow, layer, tree, state diagram, architecture वा algorithm भए सफा diagram बनाउने अभ्यास गर्नुहोस्।
  • PSC answer link: objective मा keyword सम्झने, subjective मा structured paragraph + comparison + conclusion लेख्ने।

परीक्षाका लागि पढ्नुपर्ने मुख्य कुरा

  • Race condition depends on timing.
  • Round Robin uses time quantum.
  • Semaphore can be binary/counting.
  • Virtual memory gives larger memory illusion.
  • Deadlock needs four necessary conditions.
  • Formal Methods ISO CMM CASE and Process Improvement को standard definition र purpose छुट्याएर सम्झनुहोस्।
  • Architecture, algorithm, protocol, model, process वा technique मध्ये यो कुन प्रकारको concept हो भनेर पहिचान गर्नुहोस्।
  • Advantages र limitations कम्तीमा ३/३ बुँदामा लेख्न सक्ने गरी तयार हुनुहोस्।
  • PSC subjective उत्तरमा diagram, table, steps र examples प्रयोग गर्दा उत्तर बलियो देखिन्छ।
  • MCQ का लागि full form, layer, sequence, formula, notation, command वा keyword गलत नहोस्।
  • यो topic लाई syllabus को exact wording सँग मिलाएर revision गर्नुहोस् ताकि प्रश्न आएपछि कुन heading बाट उत्तर सुरु गर्ने भन्ने तुरुन्त थाहा होस्।
Concept Exam focus Remember
FCFS Simple scheduling Convoy effect
SJF Minimum average waiting Burst prediction needed
Round Robin Time sharing Quantum matters
Priority Important jobs first Starvation possible

Exam point

Formal Methods ISO CMM CASE and Process Improvement बाट आउने प्रश्नमा definition, key features, working mechanism, merits/demerits र example जोडेर उत्तर बनाउनुहोस्। MCQ मा exact technical word र sequence सबैभन्दा धेरै सोधिन्छ।

Subjective Answer Framework

  • Start: Formal Methods ISO CMM CASE and Process Improvement को one-line definition लेख्नुहोस्।
  • Body: main components, working process, diagram/table and technical keywords मिलाउनुहोस्।
  • Comparison: मिल्दोजुल्दो concept सँग ३-४ फरक point राख्नुहोस्।
  • Evaluation: advantages, limitations and real application लेख्नुहोस्।
  • Close: Computer Engineer role वा public-sector system मा यसको relevance जोडेर निष्कर्ष दिनुहोस्।

Worked Answer Pattern

Deadlock answer: define -> four conditions -> resource allocation example -> prevention/avoidance/detection -> OS conclusion.

छोटो उदाहरण

P1 printer hold गरेर scanner कुर्छ, P2 scanner hold गरेर printer कुर्छ भने deadlock हुन्छ।

Common Mistakes

  • Process र thread एउटै भन्नु।
  • Deadlock prevention/avoidance confuse गर्नु।
  • Paging र segmentation basis नछुट्याउनु।

Summary

  • Formal Methods ISO CMM CASE and Process Improvement को meaning, use र limitation छुट्याएर पढ्नुहोस्।
  • Objective paper का लागि keyword, full form, order र formula revision गर्नुहोस्।
  • Subjective paper का लागि structure: definition, diagram/table, explanation, merits, limitations, conclusion।

MCQ / Revision Points

  • Deadlock four conditions?
  • Round Robin quantum role?
  • Semaphore purpose?
  • Virtual memory किन?
  • Formal Methods ISO CMM CASE and Process Improvement को main purpose के हो?
  • Formal Methods ISO CMM CASE and Process Improvement कुन layer/model/process/algorithm सँग सम्बन्धित छ?
  • Formal Methods ISO CMM CASE and Process Improvement को एक प्रमुख advantage र limitation के हो?
  • Similar terms बीचको exact difference सम्झनुहोस्।